Anupam Das

Anupam Das is a postdoctoral researcher at École Normale Supérieure de Lyon. He received his PhD from the University of Bath, advised by Alessio Guglielmi and John Power, and previously worked as an Inria fellow at École Polytechnique. His doctoral dissertation focussed on the proof complexity of 'deep inference' systems, and now he works on several topics relating to the connections between logic and complexity, as well as proof theory in general.