cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 2 years
  • Last seen this week
Stats
336
reputation
1k
reached
3
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.
2
silver badges
10
bronze badges
Top tags
16
Score
1
Posts
33
Posts %
16
Score
1
Posts
33
Posts %
6
Score
2
Posts
67
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
Top posts