cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 7 months
  • Last seen this week
Stats
211
reputation
5k
reached
3
answers
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.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
8
Score
2
Posts
67
Posts %
6
Score
1
Posts
33
Posts %
6
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
Top posts