Author: noiay

 

• International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE).  May 2020. Co-organiser.
• Course: An introduction to deep inference, ESSLLI summer school, August 2019. Co-lecturer. Course page .
•  31st annual workshop of the Swedish Artificial Intelligence Society (SAIS 2019), June 18-19 2019. OC member.
• Workshop: Twenty Years of Deep Inference, July 2018, part of FLoC 2018. Co-organiser.
• Second FISP Meeting, 8-10 June 2017. OC member.

• The Glass Box Approach: Verifying Contextual Adherence to Values, with Virginia Dignum. AISafety 2019.
• Governance by Glass-Box: Implementing Transparent Moral Bounds for AI Behaviour, with Andreas Theodorou, Frank Dignum and Virginia Dignum. Accepted for publication at IJCAI’19.
• Subatomic Proof Systems: Splittable Systems, with Alessio Guglielmi. ACM Trans. Comput. Logic 19, 1, Article 5 (January 2018). Pdf.
• Removing Cycles from Proofs, with Alessio Guglielmi and Benjamin Ralph.  CSL 2017, Leibniz International Proceedings in Informatics (LIPIcs) 82, pp. 9:1–18.
• A study of normalisation through subatomic logic, Thesis (Revised version, 2018). 10-page summary. Shortlisted by the E.W. Beth Dissertation Prize 2018.

 

• A story of multiplicatives and additives.

5th International Workshop on Structures and Deduction, June 2019. Invited talk. Slides.

• New normal forms for proofs via deep inference.

Journées PPS 2018, November 2018. Slides.

• A study of normalisation through subatomic logic.

SYSMICS workshop, February 2018. Slides.

• Subatomic Proof Systems. 

1st WiL workshop, June 2017. Slides.

• Decomposition and cycles: isolating two complexity-generating mechanisms. 

FISP kick-off, 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, May 2016. Abstract. Slides.

• Generalising cut-elimination through Subatomic Logic. –

ALCOP 7, April 2016. Slides.

• A Generalised cut-elimination Procedure through Subatomic Proof Systems. 

WENPS 2015, December 2015. Slides.

• Subatomic Proof Systems.

PCC 2015, 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 Umeå University. I work with Virginia Dignum in a WASP project focused on the formal verification of ethical principles of AI systems.

My research areas include logic and proof theory (in particular deep inference). I am interested  in the design of formalisms and systems, as well as in applications of logic in intelligent systems.

Previously, I was a postdoc at IRIF (Univ. Paris Diderot).

I obtained a PhD from the University of Bath under the supervision of Alessio Guglielmi. Before that, I did a MASt in Mathematics at the University of Cambridge (part iii of the mathematical tripos), and even before that I studied an undergraduate in Mathematics at the University of Barcelona.

You can reach me at andrea dot aler at umu dot se . You can find me in room D418, 4th floor of MIT-huset in Umeå University.