Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
394
reputation
2
9

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
~24k
people reached
  • Cambridge, MA
  • Member for 7 years, 2 months
  • 94 profile views
  • Last seen 31 mins ago

Top tags (17)

Score 10
Posts 3
Posts % 38
Score 9
Posts 2
Score 7
Posts 1
Score 6
Posts 1
Score 6
Posts 1
Score 5
Posts 1

Top posts (8) All Questions Answers | Votes Newest

Badges (11)

Gold

Silver

2

Rarest

Bronze

9

Rarest