|visits||member for||2 years, 11 months|
|seen||Feb 26 at 20:05|
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||Feb 26 at 20:05|