7,613
reputation
9
5

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.

1
answer
0
questions
~55
people reached
  • Cambridge, MA
  • Member for 9 years, 2 months
  • 6 profile views
  • Last seen May 2 '19 at 13:46

Top tags (3)

Score 5
Posts 1
Score 5
Posts 1
Score 5
Posts 1

Top posts (1)

Badges (14)

Gold

Silver

9

Rarest

Bronze

5

Rarest