cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 13 years
  • Last seen this week
Stats
13,831
reputation
180k
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
48
silver badges
103
bronze badges
492
Score
67
Posts
39
Posts %
317
Score
42
Posts
25
Posts %
315
Score
52
Posts
31
Posts %
200
Score
30
Posts
18
Posts %
181
Score
23
Posts
14
Posts %
164
Score
25
Posts
15
Posts %
Top posts
View all questions and answers
Top Meta posts
0
1