850
reputation
7
22

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.

16
answers
0
questions
~23k
people reached

Top tags (25)

Score 45
Posts 10
Posts % 62
Score 39
Posts 6
Score 23
Posts 4
Score 13
Posts 4
Score 12
Posts 3
Score 12
Posts 2

Top posts (16)

View all questions and answers

Badges (29)

Gold

Silver

7

Rarest

Bronze

22

Rarest