Computer Science
cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 11 years, 8 months
  • Last seen this week
Profile Activity
Stats
8,114
reputation
166k
reached
130
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.
29
silver badges
62
bronze badges
Top tags
View all tags
186
Score
30
Posts
23
Posts %
146
Score
15
Posts
11
Posts %
141
Score
21
Posts
16
Posts %
126
Score
13
Posts
10
Posts %
117
Score
21
Posts
16
Posts %
76
Score
20
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
44
Formal program verification in practice
Aug 20, 2013
answer
41
What makes type inference for dependent types undecidable?
Jun 28, 2013
answer
32
Is Category Theory useful for learning functional programming?
Aug 11, 2012
answer
29
if (λ x . x x) has a type, then is the type system inconsistent?
Oct 23, 2016
answer
16
$\lambda$-calculus with reflection
Jul 12, 2012
answer
13
"Minimal" intuitionistic type theory?
Mar 22, 2016
answer
13
No Naive Set Theoretic Models of Polymorphic Lambda Calculus?
Jan 11, 2016
answer
13
Fixed point, what does it mean in the world of computer science
Sep 8, 2012
answer
13
Relation between type-checking decidability, typability decidability and strong normalization
May 1, 2017
answer
10
Sorting algorithms which accept a random comparator
Jun 12, 2012
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?
41
How to find interesting research problems
29
What's the relation and difference between Calculus of Inductive Constructions and Intuitionistic Type Theory?
27
Algebra oriented branch of theoretical computer science
26
Why does Coq have Prop?

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.