1,786 reputation
5 13

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

Score 50
Posts 10
Posts % 30
Score 35
Posts 6
Score 31
Posts 5
Score 29
Posts 7
Score 25
Posts 5
Score 20
Posts 5

Top Posts (33) All Questions Answers | Votes Newest

View all questions and answers

Badges (18)

Gold
Silver 5

Rarest

Bronze 13

Rarest