7,603
reputation
20
51

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.

122
answers
1
question
~133k
people reached
  • Cambridge, MA
  • Member for 9 years, 1 month
  • 611 profile views
  • Last seen Apr 30 at 19:51

Top tags (100)

Score 175
Posts 28
Posts % 23
Score 139
Posts 14
Score 137
Posts 21
Score 118
Posts 13
Score 107
Posts 18
Score 65
Posts 18

Top posts (123)

View all questions and answers

Badges (71)

Gold

Silver

20

Rarest

Bronze

51

Rarest