Anupam Das
161
reputation
1
5
Associate Professor, University of Birmingham
Research interests: Proof theory, proof complexity, logic, complexity theory