• 1 WEST 4.55

Accepting PhD Students

20012018
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
Cut-elimination Mathematics
Linear Logic Mathematics
Sequent Calculus Mathematics
Proof System Mathematics
Multiplicative Mathematics
Calculus Mathematics
Inference Rules Mathematics
Logical operator Mathematics

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

Projects 2006 2017

Computer systems
Formal languages
Rigidity
Computer programming languages
Formal verification
Computer science
Computer systems
Theorem proving
Computer programming languages
Costs

Research Output 2001 2018

1 Citation (Scopus)
24 Downloads (Pure)

Subatomic Proof Systems: Splittable Systems

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

Research output: Contribution to journalArticle

Open Access
File
Blueprints
Cut-elimination
Proof System
Linear Logic
Atoms

Removing Cycles from Proofs

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

Research output: Contribution to conferencePaper

File
3 Citations (Scopus)
80 Downloads (Pure)

Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae

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

Research output: Contribution to journalArticle

Open Access
File

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
2 Citations (Scopus)

A Logical Basis for Quantum Evolution and Entanglement

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. & Straßburger, L., 2014, Categories and Types in Logic, Language, and Physics. Springer, Vol. 8222. p. 90-107 18 p. (Lecture Notes in Computer Science; vol. 8222).

Research output: Chapter in Book/Report/Conference proceedingChapter

inference
logic
apexes
strings
tensors

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