cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 10 years, 5 months
  • Last seen more than a week ago
Stats
7,754
reputation
151k
reached
123
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.
23
silver badges
52
bronze badges
179
Score
29
Posts
23
Posts %
142
Score
15
Posts
12
Posts %
140
Score
21
Posts
17
Posts %
122
Score
13
Posts
10
Posts %
107
Score
18
Posts
15
Posts %
67
Score
18
Posts
15
Posts %
Top posts
View all questions and answers