Anupam Das

I am a PhD student at the Department of Computer Science, University of Bath supervised by Alessio Guglielmi.

My research is focussed on proof theory and in particular deep inference, a methodology which allows inference rules to operate on any connective in a formula, contrary to traditional systems whose rules only operate on the main connective. These systems have more fine-grained inference rules than traditional systems, omitting unnecessary redundancy, and so are useful for analysing proofs structurally. Ultimately, I hope that this research will produce formalisms that enjoy low proof complexity and tackle the problem of identity of proofs, as well as being useful in industrial applications.

I teach regularly, both as a private tutor to students preparing for GCSEs and A-Levels, and in the classroom for first and second year undergraduate courses. My teaching is primarily in pure mathematics.

Outside academia I am an amateur long-distance track and cross-country athlete and have competed for University of Oxford and Middlesex. Currently I represent University of Bath, Hillingdon AC and Bristol & West AC. Statistics and rankings can be found here.

Before my PhD I did a Master's degree in Mathematics at the University of Oxford.