424
reputation
4
15

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.

8
answers
0
questions
~28k
people reached
  • Cambridge, MA
  • Member for 8 years, 7 months
  • 115 profile views
  • Last seen Oct 15 at 20:01

Top tags (17)

Score 12
Posts 3
Posts % 38
Score 11
Posts 2
Score 9
Posts 1
Score 6
Posts 1
Score 6
Posts 1
Score 5
Posts 2

Top posts (8)

Badges (19)

Gold

Silver

4

Rarest

Bronze

15

Rarest