cody
Stats
908
reputation
25k
reached
16
answers
0
questions
Loading…
About

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.

This user doesn’t have any gold badges yet.
7
silver badges
27
bronze badges

Top tags (25)

Score 48
Posts 10
Posts % 62
Score 42
Posts 6
Score 24
Posts 4
Score 14
Posts 4
Score 14
Posts 3
Score 14
Posts 2

Top posts (16)

View all questions and answers