Department of Computer Science
 

Reader

1 West 4.55

Dept of Computer Science

Email: a.guglielmi@bath.ac.uk

Tel: +44 (0) 1225 38 6274

 

Dr Alessio Guglielmi

Profile

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.

Publications

Read publications by Alessio Guglielmi

View more publications »