About

I am a researcher and teacher at UPC at EPSEM.

My research includes design, impact and education around AI. I am particularly interested in multidisciplinary perspectives, and how collaboration and insights from various disciplines can inform and improve the impacts of intelligent systems. My background is in logic, and my interests also span the design of formalisms and systems, as well as applications of logic for intelligent systems.

You can reach me at andrea dot aler at upc dot edu .

Current Events and Calls

• Special track on Fairness and Bias in AI in the Journal of Artificial Intelligence Research. Paper submission deadline: July 1, 2024.

Selected Publications

How to teach responsible AI in Higher Education: challenges and opportunities, with Marçal Mora-Cantallops and Juan Carlos Nieves. Ethics and Information Technology.

ACROCPoLis: A Descriptive Framework for Making Sense of Fairness, with Dimitri Coelho Mollo, Adam Dahlgren Lindström, Hannah Devinney, Virginia Dignum, Petter Ericson, Anna Jonsson, Timotheus Kampik, Tom Lenaerts, Julian Alfredo Mendez, Juan Carlos Nieves. FAccT 2023.

Beyond the Binary: Queering AI for an Inclusive Future, with Evelina Liliequist, Karin Danielsson and Coppélie Cocq. ACM Interactions, 2023.

Ethical implications of fairness interventions: what might be hidden behind engineering choices?, with Flavia Barsotti Rüya Gökhan Koçer and Julian Alfredo Mendez. Ethics and Information Technology, 2022.

Contestable Black Boxes, with Andreas Theodorou, Virginia Dignum and Loizos Michael. RuleML+RR 2020.

Governance by Glass-Box: Implementing Transparent Moral Bounds for AI Behaviour, with Andreas Theodorou, Frank Dignum and Virginia Dignum. IJCAI’19.

Subatomic Proof Systems: Splittable Systems, with Alessio Guglielmi. ACM Trans. Comput. Logic, 2018. ArXiv.

Selected Slides

• A story of multiplicatives and additives. Invited talk at the 5th International Workshop on Structures and Deduction, June 2019.
• New normal forms for proofs via deep inference. Journées PPS 2018, November 2018.
• A study of normalisation through subatomic logic. SYSMICS workshop, February 2018.
• Decomposition and cycles: isolating two complexity-generating mechanisms. FISP kick-off, November 2016.
• 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.

Teaching

You can find all slides and assignments on Canvas.