Skip to main content
cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 11 years, 9 months
  • Last seen more than a week ago
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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.