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 to the field is called deep inference: it is a relatively new research area that I founded, together with colleagues and students. More about deep inference at http://alessio.guglielmi.name/res/cos/ .