cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 11 years, 7 months
  • Last seen more than a month ago
Stats
13,302
reputation
209
reached
1
answer
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.
11
silver badges
5
bronze badges
Top tags
4
Score
1
Posts
100
Posts %
answer
4
Jun 18, 2014