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