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:
     • Data Mining (MIDAS)

2. Software Engineering

   • Topics:
     • Software measurement and quality models
     • Development tools and environments, monitoring and operation
     • Empirical software engineering
     • Complex systems modelling and specification
     • Software process evaluation and improvement
     • Software product evaluation and testing
     • Innovative software development models
     • Software requirements
   • Researchers:
     • Natalia Juristo
     • Ana Mª Moreno
     • Andrés Silva
     • Edmundo Tovar
     • Sira Vegas
   • Research Groups:
     • Biomedical Informatics (GIB)
     • Software Engineering
     • Seguridad y Mejora de Procesos
     • Engineering education for a sustainable world, based on IoT

3. Advanced Computational Models and Algorithmics

   • Topics:
     • High throughput computing
     • Quantum information and computation
     • Heuristic optimization
     • Cloud computing models
   • Researchers:
     • Antonio García
     • Vicente Martín
     • Pedro Salas
     • María de los Santos Pérez
     • Juan Zamorano
   • Research Groups:
     • Information and Quantum Computation (GIICC)
     • Ontology Engineering Group
     • Real Time Systems and Telematic Services Architecture

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:
     • Computational Logic, Languages, Implementation and Parallelism (CLIP)

5. Image and Signal Processing and Analysis

   • Topics:
     • Image transforms
     • Image classification and automatic interpretation
     • Image fusion
     • Object-based image processing
     • Morphological image processing and analysis
     • Applications of image processing and analysis
     • Function approximation and optimization
   • Researchers:
     • Mª Dolores Barrios
     • José Crespo
     • Consuelo Gonzalo
     • Julio Gutiérrez
     • Estíbaliz Martínez
   • Research Groups:
     • Biomedical Informatics (GIB)
     • Intelligent Systems
     • Computer Applied to Signal and Image Processing

6. Distributed Systems and Services and Cloud Computing

   • Topics:
     • Autonomous and adaptive systems
     • Service-oriented computation
     • Internet security
     • Distributed information systems
     • Middleware systems and platforms as a service
     • Web and agent technologies
     • Fault-tolerant distributed systems
     • Scalable distributed systems
     • Cloud computing technologies
   • Researchers:
     • Ricardo Jiménez
     • Luis Mengual
     • Marta Patiño
     • Francisco Javier Soriano
   • Research Groups:
     • Information and Communications Technology: CETTICO
     • Distributed Systems Labs (LSD)
     • Data Mining (MIDAS)

7. Human-Computer Interaction

   • Topics:
     • Software usability and user experience
     • Ubiquitous interaction and ambient intelligence
     • Accessibility and design for all
     • Virtual reality and augmented reality
     • Intelligent virtual agents
     • Educational informatics: e-learning and intelligent tutoring systems
     • Multimedia systems
     • Advanced visualization
   • Researchers:
     • Angélica de Antonio
     • José Luis Fuertes
     • Loïc A. Martínez
     • Jaime Ramírez
   • Research Groups:
     • Information and Communications Technology: CETTICO
     • Human Computer Interaction and Advanced Interactive Systems

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