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 12 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
18,761
reputation
543k
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
61
silver badges
144
bronze badges
Top tags
View all tags
415
Score
84
Posts
50
Posts %
217
Score
22
Posts
13
Posts %
140
Score
24
Posts
14
Posts %
120
Score
24
Posts
14
Posts %
115
Score
19
Posts
11
Posts %
91
Score
14
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
147
Major unsolved problems in theoretical computer science?
Aug 17, 2010
question
55
Can one amplify P=NP beyond P=PH?
Mar 13, 2011
question
53
Dinner-table description of theoretical computer science?
Sep 19, 2010
answer
53
Constraint satisfaction problem (CSP) vs. satisfiability modulo theory (SMT); with a coda on constraint programming
Feb 9, 2015
question
46
Generalized Ladner's Theorem
Aug 31, 2010
question
43
Rigour leading to insight
Oct 12, 2010
answer
41
Major unsolved problems in theoretical computer science?
Aug 23, 2010
question
41
Does Rabin/Yao exist (at least in a form that can be cited)?
Jan 3, 2015
question
39
Is there a logic without induction that captures much of P?
Sep 2, 2010
question
36
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
198
What packages do people load by default in LaTeX?
92
Animation in PDF presentations, without Adobe Reader?
57
Factorial algorithm more efficient than naive multiplication
39
How to indicate elision in a quotation?
33
LaTeX packages for use with revision control

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.