12,232
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
~203
people reached
  • Cambridge, MA
  • Member for 9 years, 4 months
  • 5 profile views
  • Last seen Apr 9 '19 at 21:12

Top tags (1)

Score 3
Posts 1
Posts % 100

Top posts (1)

Badges (14)

Gold

Silver

9

Rarest

Bronze

5

Rarest