|visits||member for||2 years, 11 months|
|seen||Mar 24 at 22:53|
I am currently an engineer at Draper Labs in Cambridge. My interests include software verification and language design, logic and computability, proof theory and other things.
|bio||website||andrew.cmu.edu/~croux||visits||member for||2 years, 11 months|
|location||Cambridge, MA||seen||Mar 24 at 22:53|
442 Votes Cast
|all time||by type||month|