Dr Anupam Das

Dr Anupam Das

School of Computer Science
Associate Professor

Contact details

School of Computer Science
University of Birmingham
B15 2TT

Dr Anupam Das is an associate professor in the School of Computer Science, at the University of Birmingham. Previously, he was a Marie Skłodowska-Curie research fellow at the University of Copenhagen, after postdoctoral positions at École Normale Supérieure de Lyon and École Polytechnique. He achieved his Master's in Mathematics from the University of Oxford in 2010 and completed his PhD at the University of Bath in 2013. 

His research focusses on proof theory, the area of mathematical logic concerned with formal proofs. In particular he is interested in interactions between logic and computation, and is actively working in areas such as proof complexity, theories of arithmetic, and  structural proof theory.

Please see the link below to find out more about Anupam's work:

Dr Anupam Das - personal webpage

Culture and collections

Schools, institutes and departments

Services and facilities