12,377
reputation
1
37
72

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.

156
answers
2
questions
~129k
people reached
  • Cambridge, MA
  • Member for 9 years, 7 months
  • 1,244 profile views
  • Last seen 1 hour ago

Top tags (96)

Score 430
Posts 63
Posts % 40
Score 295
Posts 50
Score 273
Posts 38
Score 190
Posts 29
Score 168
Posts 22
Score 144
Posts 22

Top posts (158)

View all questions and answers

Badges (110)

Gold

1

Rarest

Silver

37

Rarest

Bronze

72

Rarest