Skip to content

Information for students, faculty and staff regarding COVID-19. (Updated: 26 February 2021)

printicon
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, D418 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.

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