cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 11 years, 8 months
  • Last seen this week
Stats
8,114
reputation
166k
reached
130
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.
29
silver badges
62
bronze badges
186
Score
30
Posts
23
Posts %
146
Score
15
Posts
11
Posts %
141
Score
21
Posts
16
Posts %
126
Score
13
Posts
10
Posts %
117
Score
21
Posts
16
Posts %
76
Score
20
Posts
15
Posts %
Top posts
View all questions and answers