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:
  2. Ingeniería del software

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

  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:
  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:
      • Dolores Barrios
      • José Crespo
      • Consuelo Gonzalo
      • Julio Gutiérrez
      • Estíbaliz Martínez
    • Grupos de Investigación:
  6. Sistemas y servicios distribuidos y computación cloud

  7. Interacción Persona-Ordenador

  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
      • del Pilar Herrero
      • Ángel Merchán
      • Ángel Rodríguez