cody

1,450 reputation

bio	website	andrew.cmu.edu/~croux
	location	Pittsburgh, PA
	age
visits	member for	2 years, 2 months
	seen	22 hours ago
stats	profile views	122

I am currently a postdoc in philosophy (though I come from a TCS background), my main fields of interest revolve around logic and type theory, termination checking, satisfiability modulo theories.

	1,450 reputation	bio	website	andrew.cmu.edu/~croux	visits	member for	2 years, 2 months
37 badges		location	Pittsburgh, PA		seen	22 hours ago

summary answers questions tags badges favorites bounties reputation activity

24 Answers

votes activity newest

18	To what extent can an algorithm predict the time complexity an arbitrary input program?
10	Is there an expressiveness hierarchy for type systems?
9	funsplit and polarity of Pi-types
9	Is it possible to decide $\beta$-equivalence within System F (or another normalizing typed λ-calculus)?
7	How is duality of types defined?

1,450 Reputation

+10	Constraint types (IBM/X10) compared to dependent types
+60	Complexity one-alternation SMT
+10	Step-indexing: Where to begin?
+10	Primitive Recursive Isomorphisms

0 Questions

votes activity newest

This user has not asked any questions

33 Tags

60 lo.logic × 13	24 formal-methods × 2
55 type-theory × 11	23 reference-request × 5
42 lambda-calculus × 8	18 se.software-engineering
35 computability × 4	18 time-complexity
33 pl.programming-languages × 7	13 type-systems × 3

7 Accounts

	Theoretical Computer Science	1,450 rep	37
	Computer Science	723 rep	15
$Mathematics Stack Exchange$	Mathematics	126 rep	2
	Stack Overflow	101 rep
	Programmers	101 rep	1