Forskningsintressen: logik, matematiska grunder för datavetenskap, ansvarsfull AI-utveckling. Konkreta verktyg för att förklara, granska och utveckla intelligenta system på ett ansvarsfullt sätt.
Min forskning omfattar logik och bevisteori (särskilt djup slutsats). Jag är intresserad av utformningen av formalismer och system, liksom av tillämpningar av logik för intelligenta system.
Mina huvudsakliga forskningsintressen är logik, aspekter av datavetenskapens matematiska grunder och dess användningsområden för utveckling av verktyg. Jag är medlem i forskningsgruppen Responsible AI som leds av professor Virginia Dignum, och arbetar med konkreta verktyg för att förklara, granska och utveckla intelligenta system på ett ansvarsfullt sätt.
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)