12,747
reputation
1
39
82

cody
Loading…

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.

158
answers
2
questions
~143k
people reached
  • Cambridge, MA
  • Member for 10 years, 5 months
  • 1,375 profile views
  • Last seen 16 hours ago

Top tags (96)

Score 446
Posts 64
Posts % 40
Score 302
Posts 51
Score 285
Posts 39
Score 192
Posts 29
Score 171
Posts 22
Score 149
Posts 22

Top posts (160)

View all questions and answers

Badges (122)

Gold

1

Rarest

Silver

39

Rarest

Bronze

82

Rarest