cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 3 months
  • Last seen more than a month 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.
1
bronze badge
Posts

This user hasn’t posted yet.