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
11,407
reputation
34
66

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.

147
answers
2
questions
~104k
people reached
  • Cambridge, MA
  • Member for 8 years, 2 months
  • 1,040 profile views
  • Last seen 6 hours ago

Top Tags (91)

Score 403
Posts 60
Posts % 40
Score 292
Posts 50
Score 256
Posts 35
Score 174
Posts 28
Score 165
Posts 22
Score 137
Posts 22

Top Posts (149) All Questions Answers | Votes Newest

View all questions and answers

Badges (100)

Gold

Silver

34

Rarest

Bronze

66

Rarest