11,502
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.

150
answers
2
questions
~108k
people reached
  • Cambridge, MA
  • Member for 8 years, 4 months
  • 1,068 profile views
  • Last seen 6 hours ago

Top tags (93)

Score 400
Posts 60
Posts % 39
Score 289
Posts 50
Score 261
Posts 37
Score 175
Posts 28
Score 166
Posts 22
Score 134
Posts 22

Top posts (152) All Questions Answers | Votes Newest

View all questions and answers

Badges (100)

Gold

Silver

34

Rarest

Bronze

66

Rarest