394
reputation
2
9

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.

8
answers
0
questions
~24k
people reached
  • Cambridge, MA
  • Member for 7 years, 3 months
  • 94 profile views
  • Last seen 4 hours ago

Top tags (17)

Score 10
Posts 3
Posts % 38
Score 9
Posts 2
Score 7
Posts 1
Score 6
Posts 1
Score 6
Posts 1
Score 5
Posts 1

Top posts (8) All Questions Answers | Votes Newest

Badges (11)

Gold

Silver

2

Rarest

Bronze

9

Rarest