7,236
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.

117
answers
1
question
~105k
people reached
  • Cambridge, MA
  • Member for 7 years, 8 months
  • 482 profile views
  • Last seen 16 hours ago

Top tags (99)

Score 169
Posts 27
Posts % 23
Score 134
Posts 20
Score 134
Posts 13
Score 112
Posts 12
Score 102
Posts 17
Score 60
Posts 13

Top posts (118) All Questions Answers | Votes Newest

View all questions and answers

Badges (60)

Gold

Silver

17

Rarest

Bronze

43

Rarest