12,617
reputation
1
38
78

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
~139k
people reached
  • Cambridge, MA
  • Member for 10 years, 2 months
  • 1,325 profile views
  • Last seen 7 hours ago

Top tags (96)

Score 437
Posts 63
Posts % 40
Score 297
Posts 50
Score 282
Posts 38
Score 192
Posts 29
Score 169
Posts 22
Score 147
Posts 22

Top posts (159)

View all questions and answers

Badges (117)

Gold

1

Rarest

Silver

38

Rarest

Bronze

78

Rarest