cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 10 years, 8 months
  • Last seen this week
Stats
1,080
reputation
31k
reached
17
answers
1
question
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.
11
silver badges
47
bronze badges
54
Score
11
Posts
61
Posts %
47
Score
6
Posts
33
Posts %
27
Score
4
Posts
22
Posts %
17
Score
3
Posts
17
Posts %
17
Score
2
Posts
11
Posts %
15
Score
4
Posts
22
Posts %
Top posts
View all questions and answers