Theoretical foundations
It focuses on the study of the mathematical and conceptual foundations of artificial intelligence. It draws on methods from optimization, statistics, logic, linear and abstract algebra, as well as information theory and the theory of computation.

Trustworthy Artificial Intelligence
It addresses the development of artificial intelligence systems that operate in a reliable, fair, and transparent manner, taking into account their social and environmental impact. Research in this domain focuses on the formal and methodological foundations required to evaluate and constrain the behavior of AI systems in specific contexts of use.

Technological applications
It focuses on the development of artificial intelligence systems that operate in a reliable, fair, and transparent manner, taking into account their social and environmental impact. Research in this domain focuses on the formal and methodological foundations required to evaluate and constrain the behavior of AI systems in specific contexts of use.