3,171 reputation
8 25

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

Score 76
Posts 15
Posts % 26
Score 63
Posts 11
Score 53
Posts 6
Score 43
Posts 9
Score 43
Posts 9
Score 43
Posts 8

Top Posts (58) All Questions Answers | Votes Newest

View all questions and answers

Badges (33)

Gold
Silver 8

Rarest

Bronze 25

Rarest