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
7,052
reputation
16
41

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.

114
answers
1
question
~97k
people reached

Top tags (95)

Score 162
Posts 26
Posts % 23
Score 131
Posts 20
Score 131
Posts 13
Score 107
Posts 11
Score 101
Posts 17
Score 58
Posts 12

Top posts (115) All Questions Answers | Votes Newest

View all questions and answers

Badges (57)

Gold

Silver

16

Rarest

Bronze

41

Rarest