7,341
reputation
17
44

cody

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.

119
answers
1
question
~110k
people reached

Top tags (100)

Score 170
Posts 27
Posts % 22
Score 135
Posts 13
Score 134
Posts 20
Score 116
Posts 13
Score 105
Posts 18
Score 62
Posts 18

Top posts (120)

View all questions and answers

Badges (61)

Gold

Silver

17

Rarest

Bronze

44

Rarest