12,017
reputation
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.

152
answers
2
questions
~122k
people reached
  • Cambridge, MA
  • Member for 9 years, 1 month
  • 1,172 profile views
  • Last seen 9 hours ago

Top tags (93)

Score 417
Posts 61
Posts % 40
Score 292
Posts 50
Score 270
Posts 38
Score 182
Posts 28
Score 167
Posts 22
Score 141
Posts 22

Top posts (154)

View all questions and answers

Badges (105)

Gold

Silver

36

Rarest

Bronze

69

Rarest