cody
  • Member for 9 years, 8 months
  • Last seen this week
Stats
7,663
reputation
141k
reached
122
answers
1
question
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.

This user doesn’t have any gold badges yet.
22
silver badges
52
bronze badges
177
Score
28
Posts
23
Posts %
140
Score
14
Posts
11
Posts %
137
Score
21
Posts
17
Posts %
120
Score
13
Posts
11
Posts %
106
Score
18
Posts
15
Posts %
66
Score
18
Posts
15
Posts %