cody
  • Member for 10 years, 9 months
  • Last seen this week
Stats
12,877
reputation
149k
reached
160
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
85
bronze badges
451
Score
64
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
14
Posts %
151
Score
22
Posts
14
Posts %
Top Meta posts
0
1