7,473
reputation
18
49

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.

121
answers
1
question
~130k
people reached
  • Cambridge, MA
  • Member for 8 years, 11 months
  • 581 profile views
  • Last seen 9 hours ago

Top tags (100)

Score 174
Posts 28
Posts % 23
Score 137
Posts 13
Score 134
Posts 20
Score 117
Posts 13
Score 105
Posts 18
Score 63
Posts 18

Top posts (122)

View all questions and answers

Badges (67)

Gold

Silver

18

Rarest

Bronze

49

Rarest