12,527
reputation
1
37
74

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.

157
answers
2
questions
~135k
people reached
  • Cambridge, MA
  • Member for 9 years, 11 months
  • 1,284 profile views
  • Last seen yesterday

Top tags (96)

Score 433
Posts 63
Posts % 40
Score 295
Posts 50
Score 279
Posts 38
Score 192
Posts 29
Score 168
Posts 22
Score 146
Posts 22

Top posts (159)

View all questions and answers

Badges (112)

Gold

1

Rarest

Silver

37

Rarest

Bronze

74