Skip to main content
cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 13 years, 5 months
  • Last seen more than 2 years ago
Stats
13,956
reputation
219
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.
13
silver badges
5
bronze badges
Top tags
4
Score
1
Posts
100
Posts %
Top posts
answer
4
Jun 18, 2014