163 reputation
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 (6)

Score 2
Posts 1
Posts % 50
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1

Top Posts (2) All Questions Answers | Votes Newest

Badges (5)

Gold
Silver
Bronze 5

Rarest