11,512
reputation
8
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
~201
people reached
  • Cambridge, MA
  • Member for 8 years, 5 months
  • 5 profile views
  • Last seen Apr 9 at 21:12

Top tags (1)

Score 3
Posts 1
Posts % 100

Top posts (1) All Questions Answers | Votes Newest

Badges (13)

Gold

Silver

8

Rarest

Bronze

5

Rarest