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
Projects
- 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
Engineering and Physical Sciences Research Council
1/02/07 → 30/06/08
Project: Research council
Research output
-
A Subatomic Proof System for Decision Trees
Barrett, C. & Guglielmi, A., 31 Oct 2022, In: ACM Transactions on Computational Logic. 23, 4, p. 1-25 26.Research output: Contribution to journal › Article › peer-review
Open AccessFile15 Downloads (Pure) -
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 journal › Article › peer-review
Open AccessFile7 Citations (SciVal)80 Downloads (Pure) -
Removing Cycles from Proofs
Aler Tubella, A., Guglielmi, A. & Ralph, B., 20 Aug 2017.Research output: Contribution to conference › Paper › peer-review
File6 Citations (SciVal)52 Downloads (Pure) -
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 journal › Article › peer-review
Open Access5 Citations (SciVal)80 Downloads (Pure) -
Deep Inference
Guglielmi, A., 2015, All About Proofs, Proofs for All. College Publications, (Mathematical Logic and Foundations).Research output: Chapter or section in a book/report/conference proceeding › Chapter or section
Open AccessFile74 Downloads (Pure)