cody
  • Member for 9 years, 9 months
  • Last seen this week
Stats
7,713
reputation
64
reached
1
answer
0
questions
Loading…
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.

This user doesn’t have any gold badges yet.
9
silver badges
5
bronze badges
Top tags
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %