Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
13,913
reputation
3
55
140

András Salamon

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.

113
answers
53
questions
~447k
people reached

Communities (11)

Top Meta Posts
8
24

Top Network Posts

Top Tags (131)

Score 405
Posts 83
Posts % 50
Score 200
Posts 22
Score 136
Posts 24
Score 117
Posts 24
Score 115
Posts 19
Score 89
Posts 14
View all tags →

Top Posts (166) All Questions Answers | Votes Newest

135 Major unsolved problems in theoretical computer science? Aug 17 '10
54 Can one amplify P=NP beyond P=PH? Mar 13 '11
51 Dinner-table description of theoretical computer science? Sep 19 '10
44 Generalized Ladner's Theorem Aug 31 '10
41 Rigour leading to insight Oct 12 '10
41 Major unsolved problems in theoretical computer science? Aug 23 '10
41 Constraint satisfaction problem (CSP) vs. satisfiability modulo theory (SMT); with a coda on constraint programming Feb 9 '15
39 Does Rabin/Yao exist (at least in a form that can be cited)? Jan 3 '15
38 Is there a logic without induction that captures much of P? Sep 2 '10
35 NC = P consequences? Sep 24 '10
View all questions and answers →

Badges (198)

Gold

3

Rarest

Silver

55

Rarest

Bronze

140

Rarest

View all badges →