Projects per year

## 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 2006 2017

- 6 Finished

### Games and Differential Nets for Concurrent Systems

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

1/08/15 → 30/11/17

Project: Research council

### Efficient and Natural Proof Systems

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

Engineering and Physical Sciences Research Council

1/02/13 → 12/05/16

Project: Research council

### Sharing and Sequentiality in Proof Systems with Locality

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

29/03/12 → 30/06/14

Project: Research council

### Graph Models of Functional, Imperative and Logic Programming

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

20/01/11 → 31/01/14

Project: Research council

### COMPLEXITY AND NON-DETERMINISM IN DEEP INFERENCE

Guglielmi, A. & Bruscoli, P.

Engineering and Physical Sciences Research Council

1/02/07 → 30/06/08

Project: Research council

## 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, p. 1-33 33 p., 5.Research output: Contribution to journal › Article

### Removing Cycles from Proofs

Aler Tubella, A., Guglielmi, A. & Ralph, B., 20 Aug 2017.Research output: Contribution to conference › Paper

### 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 journal › Article

### Deep Inference

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter

### 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 proceeding › Chapter

## Thesis

## A lambda-calculus that achieves full laziness with spine duplication

Author: Sherratt, D., 4 Sep 2019Supervisor: Guglielmi, A. (Supervisor) & Heijltjes, W. (Supervisor)

Student thesis: Doctoral Thesis › PhD

## A study of normalisation through subatomic logic

Author: Aler Tubella, A., 24 May 2017Supervisor: Guglielmi, A. (Supervisor)

Student thesis: Doctoral Thesis › PhD

## Modular Normalisation of Classical Proofs

Author: Ralph, B., 3 Apr 2019Supervisor: Laird, J. (Supervisor) & Guglielmi, A. (Supervisor)

Student thesis: Doctoral Thesis › PhD

## Towards a Godement Calculus for Dinatural Transformations

Author: Santamaria, A., 4 Sep 2019Supervisor: McCusker, G. (Supervisor) & Guglielmi, A. (Supervisor)

Student thesis: Doctoral Thesis › PhD