7,311
reputation
17
44

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.

118
answers
1
question
~106k
people reached
  • Cambridge, MA
  • Member for 7 years, 9 months
  • 496 profile views
  • Last seen 30 mins ago

Top tags (99)

Score 170
Posts 27
Posts % 23
Score 135
Posts 20
Score 135
Posts 13
Score 115
Posts 13
Score 104
Posts 18
Score 61
Posts 18

Top posts (119) All Questions Answers | Votes Newest

View all questions and answers

Badges (61)

Gold

Silver

17

Rarest

Bronze

44

Rarest