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 for 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.
Workshop: The Culture of Trustworthy AI. Public debate, education, practical learning. September 2021. Co-organiser.
International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE). May 2020. Co-organiser.
31st annual workshop of the Swedish Artificial Intelligence Society (SAIS 2019), June 18-19 2019. Organising committee.
Workshop: Twenty Years of Deep Inference, July 2018, part of FLoC 2018. Co-organiser.
Second FISP Meeting, 8-10 June 2017. Organising committee.
Let Me Take Over: Variable Autonomy for Meaningful Human Control, with Leila Methnani, Andreas Theodorou and Virginia Dignum. Frontiers in Artificial Intelligence, vol.4, 2021.
The Glass Box Approach: Verifying Contextual Adherence to Values, with Virginia Dignum. AISafety 2019.