cody
Stats
436
reputation
31k
reached
8
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.
6
silver badges
19
bronze badges
12
Score
3
Posts
38
Posts %
11
Score
2
Posts
25
Posts %
9
Score
1
Posts
12
Posts %
6
Score
1
Posts
12
Posts %
6
Score
1
Posts
12
Posts %
5
Score
2
Posts
25
Posts %