• Record: found
  • Orcid: found
  • Profile: found

Alessio Guglielmi

  • Follow
  • Visit ORCID profile


    University of Bath

    University of Bath

    Self description

    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/ .