3,492 reputation
8 28

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

Score 83
Posts 16
Posts % 25
Score 70
Posts 12
Score 67
Posts 8
Score 52
Posts 9
Score 49
Posts 10
Score 46
Posts 9

Top Posts (64) All Questions Answers | Votes Newest

View all questions and answers

Badges (36)

Gold
Silver 8

Rarest

Bronze 28

Rarest