Alessio Guglielmi

Biography

Alessio Guglielmi is a professor belongs to the department of Computer Science from the university of Bath.

Research Interest

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.