|visits||member for||2 years, 11 months|
|seen||Jun 30 '12 at 10:12|
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||lri.fr/~rouxcody||visits||member for||2 years, 11 months|
|location||Cambridge, MA||seen||Jun 30 '12 at 10:12|
0 Votes Cast
This user has not cast any votes