Research

Research Groups and Lines

The lines of research supporting this Master programme, including the Ph.D. in Software, Systems and Computing, are all being pursued by the research groups of which programme academic personnel are members. All these research groups, listed below, are long-term initiatives and have been officially recognized by the UPM.

  • Human Computer Interaction and Advanced Interactive Systems
    • Programme faculty that are group members: Angélica de Antonio, Jose María Barambones, Cristian Moral, Elena Villalba
    • Research lines: Intelligent virtual environments, virtual and augmented reality; Ontologies and semantics in interactive intelligent tutoring systems; Software agents and virtual agents in interactive systems
  • Logical computing, languages, implementation and parallelism
    • Programme faculty that are group members: Manuel Hermenegildo, Manuel Carro
    • Research lines: Mobile code certification; Resource-aware distributed and parallel computing; Declarative and multi-paradigm language design and implementation; Static analysis and automatic program transformation; Program debugging and verification tools; Optimizing compilation, abstract machines, concurrency
  • Biomedical Informatics
    • Programme faculty that are group member: José Crespo, Andrés Silva, Raúl Alonso
    • Research lines: Image processing and analysis; Medical imaging and visualization; Learning; Integration of biomedical databases; Multimedia systems; Artificial intelligence in biomedicine; Biomedical ontologies
  • Data mining and simulation
    • Programme faculty that are group members: Ernestina Menasalvas
    • Research lines: Data mining and simulation; Big data analytics; Neuroinformatics; Image and signal processing and analysis; Optimization
  • Software Engineering
    • Programme faculty that are group members: Natalia Juristo, Sira Vegas
    • Research lines: Empirical software engineering; Software requirements; Software process modelling; Software usability
  • Quantum information and computation
    • Programme faculty that are group member: Vicente Martín, Juan Pedro Brito
    • Reseach lines: Quantum simulation of mesoscopic systems; Quantum information and computation; High-performance computing
  • Computing and communications technology
    • Programme faculty that are group members: Javier Soriano, Juan Pedro Caraça-Valente, José Luis Fuertes, Loïc Martínez, Adrián Mora, Aurora Pérez
    • Research lines: Software development models in software engineering and knowledge engineering; Human-computer interaction: Virtual reality; Agents and web technologies; Learning, multimedia and e-learning; Simulation in sustainable environments; Assistive technologies for disabled people; Internet security; Computer networks-Distributed systems; Data mining
  • Distributed systems
    • Programme faculty that are group members: Marta Patiño, Tonghong Li
    • Research lines: Middleware; Fault tolerance; Distributed Shared Memory; Distributed databases; Distributed systems; Mobile systems
  • Reliable and high quality software development from declarative technologies.
    • Programme faculty that are group members: Julio Mariño
    • Research lines: Specification, design and implementation with software components; Applications specification, development, verification and validation; Declarative programming and technologies; Reliable and high quality software development technologies
  • Process Security and Improvement
    • Programme faculty that are group members: Ana María Moreno
    • Research lines: Audit and Security Software Systems; Project Management and Risk; Verification of Expert Systems; Tools and technologies for the conservation and management of the environment; Software Process Improvement; Investment Analysis Software; Process Assessment; Archaeology and Cultural Heritage
  • Computer Vision and Aerial Robotics
    • Programme faculty that are group members: Santiago Tapia
    • Research lines: Computer Vision; Unmanned Vehicles guided by Vision; Artificial Intelligence Systems; UAV Control; Human-Robot Interaction; Visual Control; Augmented reality; Pattern Recognition and Machine Learning; Aerial Image Processing; Content based image retrieval