Research interests: logic, mathematical foundations of computer science, responsible AI development. Working on concrete tools to explain, audit and develop intelligent systems responsibly.
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.
My main research interests are in logic, aspects of the mathematical foundations of computer science, and its uses for the development of tools. I am a member of the Responsible AI team, working on concrete tools to explain, audit and develop intelligent systems responsibly.
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII: International Workshops COIN 2017 and COINE 2020, Sao Paulo, Brazil, May 8-9, 2017 and Virtual Event, May 9, 2020, Revised Selected Papers
Aler Tubella, Andrea; Cranefield, Stephen; Frantz, Christopher; et al.
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) 2021 : 106-114
Aler Tubella, Andrea; Theodorou, Andreas; Nieves, Juan Carlos
AISafety 2019: Proceedings of the Workshop on Artificial Intelligence Safety 2019co-located with the 28th International Joint Conference on Artificial Intelligence (IJCAI-19)