7,101 reputation
17 38

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.

Top Tags (77)

Score 213
Posts 38
Posts % 38
Score 203
Posts 35
Score 158
Posts 24
Score 143
Posts 21
Score 122
Posts 24
Score 93
Posts 8

Top Posts (101) All Questions Answers | Votes Newest

View all questions and answers

Badges (55)

Gold
Silver 17

Rarest

Bronze 38

Rarest