11,957
reputation
35
68

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

Top tags (93)

Score 416
Posts 61
Posts % 40
Score 292
Posts 50
Score 269
Posts 38
Score 179
Posts 28
Score 167
Posts 22
Score 141
Posts 22

Top posts (154) All Questions Answers | Votes Newest

View all questions and answers

Badges (103)

Gold

Silver

35

Rarest

Bronze

68

Rarest