cody
Stats
12,807
reputation
146k
reached
159
answers
2
questions
Loading…
About

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.

1
gold badge
40
silver badges
84
bronze badges

Top tags (96)

Score 450
Posts 64
Posts % 40
Score 304
Posts 51
Score 285
Posts 39
Score 192
Posts 29
Score 171
Posts 22
Score 150
Posts 22

Top posts (161)

View all questions and answers