cody
Stats
7,643
reputation
138k
reached
122
answers
1
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.

This user doesn’t have any gold badges yet.
20
silver badges
51
bronze badges

Top tags (100)

Score 177
Posts 28
Posts % 23
Score 141
Posts 14
Score 137
Posts 21
Score 119
Posts 13
Score 107
Posts 18
Score 65
Posts 18

Top posts (123)

View all questions and answers