Department of Computer Science


1 West 4.55

Dept of Computer Science


Tel: +44 (0) 1225 38 6274


Dr Alessio Guglielmi


Research Interests

I am interested in the foundations of computing, and especially in proof theory and proof complexity. Some of the most profound open problems in science belong to these fields, like P =? NP, coNP =? NP and the problem of determining whether two proofs or two algorithms are the same. My contribution is called deep inference: it is a relatively new research area that I founded, together with colleagues and students.

Please have a look at my research page for more details.


Read publications by Alessio Guglielmi

View more publications »