243 reputation
1 5

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

Score 6
Posts 2
Posts % 50
Score 6
Posts 2
Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1
Score 2
Posts 1

Top Posts (4) All Questions Answers | Votes Newest

Badges (6)

Gold
Silver 1

Rarest

Bronze 5

Rarest