211
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
~3k
people reached
  • Cambridge, MA
  • Member for 7 years, 1 month
  • 28 profile views
  • Last seen Feb 25 at 19:49

Top tags (5)

Score 10
Posts 3
Score 10
Posts 3
Score 5
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (4)

Badges (10)

Gold

Silver

2

Rarest

Bronze

8

Rarest