Skip to main content
Theoretical Computer Science
Anupam Das's user avatar
Anupam Das's user avatar
Anupam Das's user avatar
Anupam Das
  • Member for 12 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
171
reputation
1k
reached
4
answers
1
question
Communities
About

Associate Professor, University of Birmingham

Research interests: Proof theory, proof complexity, logic, complexity theory

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
12
Score
3
Posts
60
Posts %
10
Score
2
Posts
40
Posts %
7
Score
1
Posts
20
Posts %
7
Score
1
Posts
20
Posts %
7
Score
1
Posts
20
Posts %
4
Score
1
Posts
20
Posts %
Top posts
answer
7
Proof theory of biproducts?
Oct 2, 2012
answer
4
Primitive recursion with varying parameters
Oct 18, 2023
answer
3
Boolean formula balancing in $\mathsf{AC^0}$
Oct 1, 2020
answer
2
Construct proof systems for common algorithmic task, like equivalence of regular expressions
May 5, 2017
question
1
Separating disjoint PSPACE-hard sets by NP-separators (and some variants)
Mar 27
Top network posts
View all network posts
5
Existence property for second-order propositional logic