6,481 reputation
15 34

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 (74)

Score 196
Posts 36
Posts % 38
Score 173
Posts 31
Score 141
Posts 21
Score 136
Posts 22
Score 118
Posts 23
Score 92
Posts 8

Top Posts (95) All Questions Answers | Votes Newest

View all questions and answers

Badges (49)

Gold
Silver 15

Rarest

Bronze 34

Rarest