Skip to main content
cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 12 years, 2 months
  • Last seen more than 2 years ago
Stats
8,233
reputation
73
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.
12
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 %
Top posts