cody

Cambridge, MA

andrew.cmu.edu/~croux

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.

Top Questions
No questions with score of 5 or more
Top Answers
1 2 3