Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 12 years, 1 month
  • Last seen this week
Stats
8,233
reputation
172k
reached
132
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.
30
silver badges
62
bronze badges
187
Score
30
Posts
23
Posts %
147
Score
15
Posts
11
Posts %
142
Score
21
Posts
16
Posts %
129
Score
13
Posts
10
Posts %
119
Score
21
Posts
16
Posts %
78
Score
21
Posts
16
Posts %
Top posts
View all questions and answers