cody
Stats
12,807
reputation
207
reached
1
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.
10
silver badges
5
bronze badges
Top tags
4
Score
1
Posts
100
Posts %