cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 11 years, 7 months
  • Last seen this week
Stats
13,302
reputation
161k
reached
162
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
43
silver badges
87
bronze badges
472
Score
66
Posts
40
Posts %
307
Score
52
Posts
32
Posts %
300
Score
40
Posts
24
Posts %
195
Score
29
Posts
18
Posts %
173
Score
22
Posts
13
Posts %
152
Score
22
Posts
13
Posts %
Top posts
View all questions and answers
Top Meta posts
0
1