Skip to main content
cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 13 years, 3 months
  • Last seen this week
Stats
13,886
reputation
183k
reached
167
answers
3
questions
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.

1
gold badge
49
silver badges
103
bronze badges
496
Score
67
Posts
39
Posts %
320
Score
42
Posts
25
Posts %
315
Score
52
Posts
31
Posts %
199
Score
30
Posts
18
Posts %
182
Score
23
Posts
14
Posts %
165
Score
25
Posts
15
Posts %
Top posts
View all questions and answers
Top Meta posts
0
1