Theoretical Computer Science
cody's user avatar
cody's user avatar
cody's user avatar
cody
  • Member for 12 years, 9 months
  • Last seen this week
Profile Activity
Stats
13,706
reputation
176k
reached
165
answers
3
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
1
gold badge
47
silver badges
99
bronze badges
Top tags
View all tags
490
Score
67
Posts
40
Posts %
314
Score
52
Posts
31
Posts %
310
Score
40
Posts
24
Posts %
200
Score
30
Posts
18
Posts %
180
Score
23
Posts
14
Posts %
157
Score
23
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
50
What functions can System F not compute?
Feb 17, 2015
answer
41
How to find interesting research problems
Aug 28, 2014
answer
29
What's the relation and difference between Calculus of Inductive Constructions and Intuitionistic Type Theory?
Mar 2, 2015
answer
27
Algebra oriented branch of theoretical computer science
Sep 23, 2014
answer
26
Why does Coq have Prop?
Apr 1, 2014
answer
24
Is there a typed lambda calculus which is consistent and Turing complete?
Apr 29, 2015
answer
23
Is MLTT effectively pCiC without Prop?
Jul 24, 2015
answer
23
To what extent can an algorithm predict the time complexity an arbitrary input program?
Sep 12, 2012
answer
22
How do you get the Calculus of Constructions from the other points in the Lambda Cube?
Jun 27, 2016
answer
22
How is Lambda Calculus a specific type of Term Writing system?
Jul 1, 2016
Top Meta posts
0
1
4
Are we migrating too readily?
Top network posts
View all network posts
44
Formal program verification in practice
41
What makes type inference for dependent types undecidable?
32
Is Category Theory useful for learning functional programming?
29
if (λ x . x x) has a type, then is the type system inconsistent?
17
$\lambda$-calculus with reflection

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.