Investigación

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.

Grupos de investigación con docencia en el Máster