Skip to content
printicon
Main menu hidden.
Staff photo Andrea Aler Tubella

Andrea Aler Tubella

Research interests: logic, mathematical foundations of computer science, responsible AI development. Working on concrete tools to explain, audit and develop intelligent systems responsibly.

Contact

E-mail
Phone

Works at

Affiliation
Senior research engineer at Department of Computing Science
Location
MIT-huset, Umeå universitet, MIT.D.418 Umeå universitet, 901 87 Umeå

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.
Rules and Reasoning. RuleML+RR 2020., Springer 2020 : 159-167
Aler Tubella, Andrea; Theodorou, Andreas; Dignum, Virginia; et al.
AISafety 2019: Proceedings of the Workshop on Artificial Intelligence Safety 2019co-located with the 28th International Joint Conference on Artificial Intelligence (IJCAI-19)
Aler Tubella, Andrea; Dignum, Virginia
Proceedings of the 28th International Joint Conference on Artificial Intelligence
Aler Tubella, Andrea; Theodorou, Andreas; Dignum, Frank; et al.

Research groups

Group member

Research projects

1 September 2020 until 31 August 2022
1 January 2019 until 31 December 2024

I participate giving lectures and assessing in the courses: Fundamentals of AI, Logiks, Responsible Design of Interactive AI Systems.

Published: 15 Sep, 2020