Líneas de investigación
- Lógica Matemática
- Ciencias de la Computación
- Inteligencia Artificial
Estas líneas se concretan en las siguientes áreas de investigación: Modelos de la aritmética y funciones recursivas, Lógica Computacional, Computación Natural, Complejidad Computacional y Ontologías y Web Semántica.