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
201
reputation
2
8

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.

4
answers
0
questions
~2k
people reached
  • Cambridge, MA
  • Member for 5 years, 1 month
  • 24 profile views
  • Last seen Jan 3 at 23:10

Top tags (5)

Score 9
Posts 3
Score 9
Posts 3
Score 4
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (4) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

2

Rarest

Bronze

8

Rarest