cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 9 years, 7 months
  • Last seen more than a week ago
Stats
1,030
reputation
28k
reached
16
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.
9
silver badges
33
bronze badges
50
Score
10
Posts
59
Posts %
46
Score
6
Posts
35
Posts %
25
Score
4
Posts
24
Posts %
17
Score
3
Posts
18
Posts %
17
Score
2
Posts
12
Posts %
15
Score
4
Posts
24
Posts %
Top posts
View all questions and answers