The Stack Overflow podcast is back! Listen to an interview with our new CEO.
7,161
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
~101k
people reached
  • Cambridge, MA
  • Member for 7 years, 6 months
  • 468 profile views
  • Last seen 4 hours ago

Top tags (95)

Score 169
Posts 27
Posts % 23
Score 134
Posts 13
Score 133
Posts 20
Score 111
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