user avatar
user avatar
user avatar
cody
  • Member for 8 years, 2 months
  • Last seen more than a month ago
Stats
211
reputation
3k
reached
4
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.
2
silver badges
8
bronze badges
Top tags
10
Score
3
Posts
75
Posts %
10
Score
3
Posts
75
Posts %
5
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %