cody
  • Member for 10 years, 11 months
  • Last seen this week
Stats
12,987
reputation
152k
reached
161
answers
2
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
41
silver badges
86
bronze badges
459
Score
65
Posts
40
Posts %
304
Score
51
Posts
31
Posts %
286
Score
39
Posts
24
Posts %
193
Score
29
Posts
18
Posts %
171
Score
22
Posts
13
Posts %
151
Score
22
Posts
13
Posts %
Top posts
View all questions and answers
Top Meta posts
0
1