Stack Exchange Network

Stack Exchange network consists of 174 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
Join us in building a kind, collaborative learning community via our updated Code of Conduct.
10,300 reputation


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.

Top Tags (89)

Score 342
Posts 52
Posts % 37
Score 272
Posts 47
Score 234
Posts 33
Score 160
Posts 22
Score 155
Posts 26
Score 100
Posts 18

Top Posts (139) All Questions Answers | Votes Newest

View all questions and answers

Badges (91)

Silver 30


Bronze 61