Information for students, faculty and staff regarding COVID-19. (Updated: 1 October 2020)

Skip to content
printicon
Staff photo Andrea Aler Tubella

Andrea Aler Tubella

I am a postdoctoral researcher in a WASP project focused on the formal verification of ethical principles of AI systems. 

Contact

E-mail
Phone

Works at

Affiliation
Postdoctoral fellow at Department of Computing Science
Location
MIT-huset, Umeå universitet, D418 Umeå universitet, 901 87 Umeå

I am a postdoctoral researcher in a WASP project focused on the formal verification of ethical principles of AI systems. 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 in intelligent systems.

2020
Rules and Reasoning. RuleML+RR 2020., Springer 2020 : 159-167
Aler Tubella, Andrea; Theodorou, Andreas; Dignum, Virginia; et al.
2019
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
2019
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 January 2019 until 31 December 2024
Published: 15 Sep, 2020