Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
user avatar
user avatar
user avatar
cody
  • Member for 11 years, 3 months
  • Last seen this week
Stats
13,077
reputation
156k
reached
161
answers
2
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.

1
gold badge
43
silver badges
87
bronze badges
462
Score
65
Posts
40
Posts %
305
Score
51
Posts
31
Posts %
290
Score
39
Posts
24
Posts %
195
Score
29
Posts
18
Posts %
172
Score
22
Posts
13
Posts %
152
Score
22
Posts
13
Posts %
Top posts
View all questions and answers
Top Meta posts
0
1