Líneas de Investigación

Las líneas de investigación prioritarias de este programa de Doctorado corresponden principalmente con las activas en los diversos grupos de investigación de los cuales los profesores del programa son miembros. Todos esos grupos de investigación tienen una larga trayectoria investigadora y han obtenido el reconocimiento oficial de la UPM.

A continuación, se indican las líneas de investigación del programa, junto con los principales temas de investigación que incluyen y algunos de los investigadores de la UPM que trabajan en dichos temas:

1. Big Data Analytics y Optimización

   • Temas:
     • Data mining
     • Informática biomédica y Bio-mining
     • Optimización heurística
     • Soft computing
     • Visualización interactiva y multiescala
     • Computación de altas prestaciones
     • Modelización y simulación
   • Investigadores:
     • Ernestina Menasalvas
     • Víctor Robles
     • Alejandro Rodríguez
     • Francisco Javier Segovia
   • Grupos de Investigación:
     • Minería de Datos y Simulación (MIDAS)

2. Ingeniería del software

   • Temas:
     • Medición y modelos de calidad software
     • Herramientas y entornos de desarrollo, monitorización y operación
     • Ingeniería del software empírica
     • Modelado y especificaciones de sistemas complejos
     • Evaluación y mejora del proceso software
     • Evaluación y pruebas del producto software
     • Modelos innovadores de desarrollo de software
     • Requisitos software
   • Investigadores:
     • Natalia Juristo
     • Ana Mª Moreno
     • Andrés Silva
     • Edmundo Tovar
     • Sira Vegas
   • Grupos de Investigación:
     • Informática Biomédica (GIB)
     • Ingeniería del Software
     • Seguridad y Mejora de Procesos
     • Engineering education for a sustainable world, based on IoT

3. Algorítmica y modelos de computación avanzada

   • Temas:
     • Computación de altas prestaciones
     • Información y computación cuántica
     • Optimización heurística
     • Modelos para Cloud Computing
   • Investigadores:
     • Antonio García
     • Vicente Martín
     • Pedro Salas
     • María de los Santos Pérez
     • Juan Zamorano
   • Grupos de Investigación:
     • Información y Computación Cuántica (GIICC)
     • Ontology Engineering Group
     • Sistemas de tiempo real y arquitectura de servicios telemáticos

4. Métodos formales para el desarrollo y verificación del software

   • Temas:
     • Análisis de programas
     • Verificación de aplicaciones secuenciales y concurrentes
     • Lenguajes declarativos
     • Lenguajes de especificación y desarrollo riguroso de programas
     • Seguridad de código y criptografía
     • Transformación y optimización de código
     • Paralelización automática
     • Modelos formales y semántica
   • Investigadores:
     • Gilles Barthe
     • Manuel Carro
     • Lars-Åke Fredlund
     • Julio Mariño
     • Susana Muñoz
     • Aleksandar Nanevski
   • Grupos de Investigación:
     • Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)

5. Procesado y análisis de imagen y señal

   • Temas:
     • Transformadas de imágenes
     • Clasificación e interpretación automática de imágenes
     • Fusión de imágenes
     • Procesado de imágenes basado en objetos
     • Procesamiento y análisis morfológico
     • Aplicaciones del procesado y análisis de imagen
     • Aproximación y optimización de funciones
   • Investigadores:
     • Mª Dolores Barrios
     • José Crespo
     • Consuelo Gonzalo
     • Julio Gutiérrez
     • Estíbaliz Martínez
   • Grupos de Investigación:
     • Informática Biomédica (GIB)
     • Sistemas Inteligentes
     • Informática Aplicada al Procesado de Señal e Imagen

6. Sistemas y servicios distribuidos y computación cloud

   • Temas:
     • Sistemas autonómicos y adaptables
     • Computación orientada a servicios
     • Seguridad en Internet
     • Sistemas de información distribuidos
     • Sistemas middleware y plataformas como servicio
     • Tecnologías web y de agentes
     • Sistemas distribuidos tolerantes a fallos
     • Sistemas distribuidos escalables
     • Tecnologías para cloud computing
   • Investigadores:
     • Ricardo Jiménez
     • Luis Mengual
     • Marta Patiño
     • Francisco Javier Soriano
   • Grupos de Investigación:
     • Grupo de Investigación en Tecnología Informática y de las Comunicaciones: CETTICO
     • Laboratorio de sistemas distribuidos (LSD)
     • Minería de Datos y Simulación (MIDAS)

7. Interacción Persona-Ordenador

   • Temas:
     • Usabilidad de software y experiencia de usuario
     • Interacción ubicua e inteligencia ambiental
     • Accesibilidad y diseño para todos
     • Realidad virtual y realidad aumentada
     • Agentes virtuales inteligentes
     • Informática educativa: e-learning y sistemas inteligentes de tutoría
     • Sistemas multimedia
     • Visualización avanzada
   • Investigadores:
     • Angélica de Antonio
     • José Luis Fuertes
     • Loïc A. Martínez
     • Jaime Ramírez
   • Grupos de Investigación:
     • Tecnología Informática y de las Comunicaciones: CETTICO
     • Interacción Persona Ordenador y Sistemas Interactivos Avanzados

8. Matemática computacional

   • Temas:
     • Sistemas dinámicos
     • Polinomios ortogonales
     • Teoría de aproximación
     • Geometría fractal
     • Sistemas singulares e inversas generalizadas
     • Soft computing
     • Modelos y simulación
     • Geometría computacional
   • Investigadores:
     • Manuel Abellanas
     • Blanca Nieves Castro
     • Susana Cubillo
     • Esther Dopazo
     • Manuel Pastor

9. Neuroinformática

   • Temas:
     • Modelado neuromorfológico
     • Visualización avanzada
     • Aplicaciones del procesado y análisis de imagen
     • Análisis de datos y categorización
     • Optimización heurística
     • Computación de altas prestaciones
     • Modelización y simulación
   • Investigadores:
     • Javier DeFelipe
     • Mª del Pilar Herrero
     • Ángel Merchán
     • Ángel Rodríguez