Skip to main content
Theoretical Computer Science
András Salamon's user avatar
András Salamon's user avatar
András Salamon's user avatar
András Salamon
  • Member for 14 years, 4 months
  • Last seen more than 2 years ago
Profile Activity
Stats
19,170
reputation
583k
reached
113
answers
54
questions
Communities
View all
About

I'm a computer scientist, working on theoretical questions that are motivated by practical problems. My thesis was on tractable classes of constraint satisfaction problems, and I have also worked on containment of conjunctive database queries, the macroscope model of communication complexity, lower bounds for streaming, and bounds on parallelism.

Badges
View all badges
3
gold badges
65
silver badges
151
bronze badges
Top tags
View all tags
425
Score
84
Posts
50
Posts %
222
Score
22
Posts
13
Posts %
142
Score
24
Posts
14
Posts %
120
Score
24
Posts
14
Posts %
116
Score
19
Posts
11
Posts %
96
Score
14
Posts
8
Posts %
Top posts
View all questions and answers
answer
152
Major unsolved problems in theoretical computer science?
Aug 17, 2010
question
57
Can one amplify P=NP beyond P=PH?
Mar 13, 2011
answer
55
Constraint satisfaction problem (CSP) vs. satisfiability modulo theory (SMT); with a coda on constraint programming
Feb 9, 2015
question
54
Dinner-table description of theoretical computer science?
Sep 19, 2010
question
50
Generalized Ladner's Theorem
Aug 31, 2010
question
44
Rigour leading to insight
Oct 12, 2010
question
42
Does Rabin/Yao exist (at least in a form that can be cited)?
Jan 3, 2015
answer
41
Major unsolved problems in theoretical computer science?
Aug 23, 2010
question
41
Is there a logic without induction that captures much of P?
Sep 2, 2010
question
37
NC = P consequences?
Sep 24, 2010
Top Meta posts
8
24
30
What should our site/domain name be?
27
What should our site/domain name be?
24
Is there Really a Need for Theoretical Computer Science SE Site?
16
On using actual names
13
Beta period progress
Top network posts
View all network posts
206
What packages do people load by default in LaTeX?
94
Animation in PDF presentations, without Adobe Reader?
62
Factorial algorithm more efficient than naive multiplication
41
How to indicate elision in a quotation?
38
Are nontrivial integer solutions known for $x^3+y^3+z^3=3$?