798
reputation
6
17

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.

16
answers
0
questions
~21k
people reached
  • Cambridge, MA
  • Member for 6 years, 3 months
  • 275 profile views
  • Last seen Oct 8 at 11:34

Top tags (25)

Score 42
Posts 10
Posts % 62
Score 37
Posts 6
Score 19
Posts 4
Score 13
Posts 4
Score 11
Posts 2
Score 11
Posts 3

Top posts (16) All Questions Answers | Votes Newest

View all questions and answers

Badges (23)

Gold

Silver

6

Rarest

Bronze

17

Rarest