6,941 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 (76)

Score 211
Posts 37
Posts % 38
Score 198
Posts 33
Score 148
Posts 23
Score 143
Posts 21
Score 120
Posts 23
Score 93
Posts 8

Top Posts (98) All Questions Answers | Votes Newest

View all questions and answers

Badges (55)

Gold
Silver 17

Rarest

Bronze 38

Rarest