Author: noiay

• Workshop: Twenty Years of Deep Inference, Oxford, July 2018, part of FLoC 2018.
• Second FISP Meeting, 8-10 June 2017 in Paris.

• Removing Cycles from Proofs, with Alessio Guglielmi and Benjamin Ralph. To be published in CSL 2017, Leibniz International Proceedings in Informatics (LIPIcs) 82, pp. 9:1–18.
• Subatomic Proof Systems: Splittable Systems, with Alessio Guglielmi. Accepted pending minor revisions by ACM Transactions on Computational Logic.
• A study of normalisation through subatomic logic, Thesis 2016.

• Subatomic Proof Systems- 1st WiL workshop, 2017 in Iceland. June 2017. Slides.
• Decomposition and cycles: isolating two complexity-generating mechanisms.- FISP kick-off in Innsbruck. November 2016.  Slides.
• Generalising cut elimination through subatomic proof systems, or the math stuff that I do- talk for a general computer science audience at the departmental seminar in the University of Bath. July 2016. Slides.
• Generalising cut elimination through subatomic proof systems- PCC 2016 in Munich. May 2016. Abstract. Slides.
• Generalising cut-elimination through Subatomic Logic- ALCOP 7, 2016 in Vienna. April 2016. Slides.
• A Generalised cut-elimination Procedure through Subatomic Proof Systems- WENPS 2015 in Bath. December 2015. Slides.
• Subatomic Proof Systems- PCC 2015 in Oslo. May 2015. Abstract. Slides.

• Systems Architecture 1- 2015, 2016
• Foundations of Computation 2-2014
• Algebra 2-2014
• Algebra 1-2013

 

I am a postdoc at IRIF.

I work in deep inference. My interests include category theory and proof theory, and in particular the design of formalisms and systems and their geometrical representations.

I did my PhD with Alessio Guglielmi. Before that, I did part iii at the University of Cambridge, and an undergraduate in Mathematics at the University of Barcelona.

You can reach me at Andrea dot Aler at irif dot fr .