6,811 reputation
17 36

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 141
Posts 21
Score 140
Posts 22
Score 120
Posts 23
Score 93
Posts 8

Top Posts (97) All Questions Answers | Votes Newest

View all questions and answers

Badges (53)

Gold
Silver 17

Rarest

Bronze 36

Rarest