Computer Science
cody
  • Member for 9 years, 8 months
  • Last seen this week
Profile Activity
Stats
7,663
reputation
141k
reached
122
answers
1
question
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.
22
silver badges
52
bronze badges
Top tags
View all tags
177
Score
28
Posts
23
Posts %
140
Score
14
Posts
11
Posts %
137
Score
21
Posts
17
Posts %
120
Score
13
Posts
11
Posts %
106
Score
18
Posts
15
Posts %
66
Score
18
Posts
15
Posts %
Top posts
View all questions, answers, and articles
All Questions Answers Articles
Votes Newest
40
Formal program verification in practice
Aug 20 '13
39
What makes type inference for dependent types undecidable?
Jun 28 '13
31
Is Category Theory useful for learning functional programming?
Aug 11 '12
29
if (λ x . x x) has a type, then is the type system inconsistent?
Oct 23 '16
16
$\lambda$-calculus with reflection
Jul 12 '12
13
Fixed point, what does it mean in the world of computer science
Sep 8 '12
12
No Naive Set Theoretic Models of Polymorphic Lambda Calculus?
Jan 11 '16
12
Relation between type-checking decidability, typability decidability and strong normalization
May 1 '17
12
"Minimal" intuitionistic type theory?
Mar 22 '16
10
Example of a false proposition when assuming Type : Type
Jun 27 '13
Top Meta posts
0
1
5
What part of “Coq: default values for vectors” is on-topic?
Top network posts
View all network posts
50
What functions can System F not compute?
40
How to find interesting research problems
27
Algebra oriented branch of theoretical computer science
25
What's the relation and difference between Calculus of Inductive Constructions and Intuitionistic Type Theory?
23
To what extent can an algorithm predict the time complexity an arbitrary input program?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.