Information for students, faculty and staff regarding COVID-19. (Updated: 1 July 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.

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