Antonio E. Porreca

772 reputation

1610

bio	website	aeporreca.org
	location	Milano (Italy)
	age	31
visits	member for	3 years, 11 months
	seen	May 27 '13 at 13:19
stats	profile views	543

I’m a Ph.D. student in computer science at Università degli Studi di Milano-Bicocca, Italy.

My current research area is computational complexity of membrane systems. I’m also interested in the theory of computation (in general), mathematical logic and functional programming.

You can also find me on Twitter, where I usually post about computer science, as @aeporreca.

	772 reputation	bio	website	aeporreca.org	visits	member for	3 years, 11 months
1610 badges		location	Milano (Italy)		seen	May 27 '13 at 13:19

summary answers questions tags badges favorites bounties reputation activity

17 Answers

votes activity newest

34	What is your favorite “strange” function?
9	The best text to study both incompleteness theorems
8	Are there complexity classes with provably no complete problems?
7	What is the history of the Y-combinator?
6	post correspondence problem

772 Reputation

+20	Are there complexity classes with provably no complete problems?
+5	Arithmetic of ordered sets more general than ordinals
+10	What is some good introduction to lambda calculus?
+10	Is there a “primitive-recursively enumerable” set whose complement is not such?

2 Questions

votes activity newest

12	Has there ever been a weaker Church-like thesis?
3	Arithmetic of ordered sets more general than ordinals

27 Tags

29 lo.logic × 7	11 computability-theory × 3
15 computational-complexity × 4	10 textbook-recommendation × 2
14 reference-request × 4	9 metamathematics
13 lambda-calculus × 3	7 ho.history-overview × 2
13 computer-science × 2	6 ct.category-theory × 2