Research Lines

This PhD programme prioritizes the lines of research pursued by the research groups of which programme academic personnel are members. All these research groups are long-term initiatives and have been officially recognized by the UPM.

The programme research lines, along with the main research topics that they include and some of the UPM researchers working on these topics, are listed below.

  1. Big Data Analytics and Optimization

    • Topics:
      • Data mining
      • Biomedical informatics and biological data mining
      • Heuristic optimization
      • Soft computing
      • Interactive and multiscale visualization
      • High throughput computing
      • Modelling and simulation
    • Researchers:
      • Ernestina Menasalvas
      • Víctor Robles
      • Alejandro Rodríguez
      • Francisco Javier Segovia
    • Research Groups:
  2. Software Engineering

  3. Advanced Computational Models and Algorithmics

  4. Formal Methods for Software Development and Verification

    • Topics:
      • Program analysis
      • Verification of sequential and concurrent applications
      • Declarative languages
      • Specification languages and rigorous software development
      • Code security and cryptography
      • Code transformation and optimization
      • Automatic parallelization
      • Formal models and semantics
    • Researchers:
      • Gilles Barthe
      • Manuel Carro
      • Lars-Åke Fredlund
      • Julio Mariño
      • Susana Muñoz
      • Aleksandar Nanevski
    • Research Groups:
  5. Image and Signal Processing and Analysis

  6. Distributed Systems and Services and Cloud Computing

  7. Human-Computer Interaction

  8. Computational Mathematics

    • Topics:
      • Dynamic systems
      • Orthogonal polynomials
      • Approximation theory
      • Fractal geometry
      • Singular systems and generalized inverses
      • Soft computing
      • Models and simulation
      • Computational geometry
    • Researchers:
      • Manuel Abellanas
      • Blanca Nieves Castro
      • Susana Cubillo
      • Esther Dopazo
      • Manuel Pastor
  9. Neuroinformatics

    • Topics:
      • Neuromorphological modelling
      • Advanced visualization
      • Applications of image processing and analysis
      • Data analysis and categorization
      • Heuristic optimization
      • High throughput computing
      • Modelling and simulation
    • Researchers:
      • Javier DeFelipe
      • del Pilar Herrero
      • Ángel Merchán
      • Ángel Rodríguez