11,677
reputation
34
66

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.

151
answers
2
questions
~112k
people reached
  • Cambridge, MA
  • Member for 8 years, 7 months
  • 1,101 profile views
  • Last seen Oct 11 at 12:47

Top tags (93)

Score 404
Posts 60
Posts % 39
Score 291
Posts 50
Score 261
Posts 37
Score 178
Posts 28
Score 166
Posts 22
Score 138
Posts 22

Top posts (153) All Questions Answers | Votes Newest

View all questions and answers

Badges (100)

Gold

Silver

34

Rarest

Bronze

66

Rarest