cody
  • Member for 8 years, 5 months
  • Last seen this week
Stats
938
reputation
26k
reached
16
answers
0
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.

This user doesn’t have any gold badges yet.
7
silver badges
27
bronze badges
48
Score
10
Posts
62
Posts %
45
Score
6
Posts
38
Posts %
24
Score
4
Posts
25
Posts %
17
Score
3
Posts
19
Posts %
17
Score
2
Posts
12
Posts %
17
Score
1
Posts
6
Posts %