Theoretical Computer Science
Anupam Das's user avatar
Anupam Das's user avatar
Anupam Das's user avatar
Anupam Das
  • Member for 11 years, 2 months
  • Last seen this week
Profile Activity
Stats
161
reputation
1k
reached
4
answers
0
questions
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
4
bronze badges
Top tags
View all tags
12
Score
3
Posts
75
Posts %
10
Score
2
Posts
50
Posts %
7
Score
1
Posts
25
Posts %
7
Score
1
Posts
25
Posts %
7
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
7
Proof theory of biproducts?
Oct 2, 2012
answer
4
Primitive recursion with varying parameters
Oct 18
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
Top network posts
View all network posts
5
Existence property for second-order propositional logic

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.