Skip to main content
Programming Language Design and Implementation Beta
cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 1 year, 5 months
  • Last seen more than a week ago
Profile Activity
Stats
231
reputation
6k
reached
3
answers
0
questions
Communities
View all
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.

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
10
Score
2
Posts
67
Posts %
8
Score
1
Posts
33
Posts %
8
Score
1
Posts
33
Posts %
3
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
Top posts
answer
8
How to ensure that an optimising compiler will terminate?
Aug 30, 2023
answer
3
Is there a way to define expressiveness that includes a notion of computational complexity?
Oct 10, 2023
answer
2
Can analysis of periodic loop behaviour be generalised to unstructured control flow?
Sep 5, 2023
Top network posts
View all network posts
52
What functions can System F not compute?
49
Formal program verification in practice
42
What makes type inference for dependent types undecidable?
42
How to find interesting research problems
32
Is Category Theory useful for learning functional programming?