7,132
reputation
17
43

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.

115
answers
1
question
~99k
people reached
  • Cambridge, MA
  • Member for 7 years, 4 months
  • 457 profile views
  • Last seen 12 hours ago

Top tags (95)

Score 168
Posts 27
Posts % 23
Score 133
Posts 20
Score 133
Posts 13
Score 110
Posts 12
Score 102
Posts 17
Score 58
Posts 12

Top posts (116) All Questions Answers | Votes Newest

View all questions and answers

Badges (60)

Gold

Silver

17

Rarest

Bronze

43

Rarest