Profesor Anupam Das is a Professor of Logic in the School of Computer Science, at 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 Professor Das' personal webpage find out more about his work.