201
reputation
2
8

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.

4
answers
0
questions
~2k
people reached
  • Cambridge, MA
  • Member for 5 years, 1 month
  • 24 profile views
  • Last seen Jan 3 at 23:10

Top tags (5)

Score 9
Posts 3
Score 9
Posts 3
Score 4
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (4) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

2

Rarest

Bronze

8

Rarest