• 1 WEST 4.55

Accepting PhD Students

20012018

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

I work in proof theory, and in particular in deep inference. My goal is to help solve the problem of proof identity, i.e., finding a way to compare formal proofs and algorithms. My web page explains what all this is about.

Fingerprint Dive into the research topics where Alessio Guglielmi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

  • Research Output

    Subatomic Proof Systems: Splittable Systems

    Aler Tubella, A. & Guglielmi, A., 28 Feb 2018, In : ACM Transactions on Computational Logic. 19, 1, p. 1-33 33 p., 5.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 1 Citation (Scopus)
    63 Downloads (Pure)

    Removing Cycles from Proofs

    Aler Tubella, A., Guglielmi, A. & Ralph, B., 20 Aug 2017.

    Research output: Contribution to conferencePaper

    File

    Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae

    Guglielmi, A., Bruscoli, P., Gundersen, T. & Parigot, M., 31 Dec 2016, In : Logical Methods in Computer Science. 12, 2, p. 1-30 30 p., 5.

    Research output: Contribution to journalArticle

    Open Access
    3 Citations (Scopus)
    80 Downloads (Pure)

    Deep Inference

    Guglielmi, A., 2015, All About Proofs, Proofs for All. College Publications, (Mathematical Logic and Foundations).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File

    A logical basis for quantum evolution and entanglement

    Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. & Straßburger, L., 31 Dec 2014, Categories and Types in Logic, Language, and Physics. Casadio, C., Coecke, B., Moortgat, M. & Scott, P. (eds.). Springer, Vol. 8222. p. 90-107 18 p. (Lecture Notes in Computer Science; vol. 8222).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2 Citations (Scopus)

    Thesis

    A lambda-calculus that achieves full laziness with spine duplication

    Author: Sherratt, D., 4 Sep 2019

    Supervisor: Guglielmi, A. (Supervisor) & Heijltjes, W. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    A study of normalisation through subatomic logic

    Author: Aler Tubella, A., 24 May 2017

    Supervisor: Guglielmi, A. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Modular Normalisation of Classical Proofs

    Author: Ralph, B., 3 Apr 2019

    Supervisor: Laird, J. (Supervisor) & Guglielmi, A. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Towards a Godement Calculus for Dinatural Transformations

    Author: Santamaria, A., 4 Sep 2019

    Supervisor: McCusker, G. (Supervisor) & Guglielmi, A. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File