cody has asked 1
questions and find answers to 0
problems.
Stats
5 EtPoint
0 Vote count
1 questions
0 answers
About
I am currently a research scientist at AWS. My interests include software verification and language design, logic and computability, proof theory and other things.