• 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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

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

Efficient and Natural Proof Systems

Guglielmi, A., Bruscoli, P. & McCusker, G.

1/02/1312/05/16

Project: Research council

Computer systems
Formal languages
Rigidity
Computer programming languages
Formal verification

Sharing and Sequentiality in Proof Systems with Locality

Guglielmi, A., Bruscoli, P., Laird, J., McCusker, G. & Power, A.

29/03/1230/06/14

Project: Research council

COMPLEXITY AND NON-DETERMINISM IN DEEP INFERENCE

Guglielmi, A. & Bruscoli, P.

1/02/0730/06/08

Project: Research council

Computer science
Computer systems
Theorem proving
Computer programming languages
Costs

Research Output 2001 2018

Subatomic Proof Systems: Splittable Systems

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

Research output: Contribution to journalArticle

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

A study of normalisation through subatomic logic

Aler Tubella, A. 2017 137 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Cut-elimination
Normalization
Logic
Decompose
Substructural Logics

Removing Cycles from Proofs

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

Research output: Contribution to conferencePaper

File
2 Citations

Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae

Guglielmi, A., Bruscoli, P., Gundersen, T. & Parigot, M. 1 May 2016 In : Logical Methods in Computer Science. 12, 2, 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