12,222
reputation
1
36
69

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.

154
answers
2
questions
~126k
people reached
  • Cambridge, MA
  • Member for 9 years, 4 months
  • 1,218 profile views
  • Last seen yesterday

Top tags (95)

Score 425
Posts 63
Posts % 40
Score 294
Posts 50
Score 271
Posts 38
Score 185
Posts 28
Score 168
Posts 22
Score 143
Posts 22

Top posts (156)

View all questions and answers

Badges (106)

Gold

1

Rarest

Silver

36

Rarest

Bronze

69

Rarest