cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 11 years, 11 months
  • Last seen this week
Stats
516
reputation
34k
reached
9
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
31
bronze badges
15
Score
3
Posts
33
Posts %
14
Score
3
Posts
33
Posts %
11
Score
1
Posts
11
Posts %
6
Score
2
Posts
22
Posts %
6
Score
2
Posts
22
Posts %
6
Score
1
Posts
11
Posts %
Top posts