Pedro López

Pedro López is an Affiliate Faculty at the IMDEA Software Institute and a Tenured Researcher at the Spanish National Research Council (CSIC). He holds a PhD in Computer Science from the Technical University of Madrid (2000) and an MS from the same institution (1994). His roles include Deputy Director of the Artificial Intelligence unit at the UPM's Computer Science Department prior to joining IMDEA.

Education:

• PhD in Computer Science, Technical University of Madrid, 2000
• MS in Computer Science, Technical University of Madrid, 1994

Research Interests: Focuses on energy-efficient software development, resource optimization (energy, execution time), parallel computing across domains like IoT, healthcare, and HPC. Expertise includes abstract interpretation, type systems, and constraint/logic programming. His work emphasizes multi-language analysis and static profiling for non-functional properties.

Grants & Projects:

• Principal Investigator for EU projects ES_PASS (Embedded Software Assurance) and FP7 FET ENTRA (Energy Transparency)
• Participated in numerous international/national research initiatives

Affiliations: IMDEA Software Institute, CSIC. Active in research teams addressing whole-systems energy transparency and resource-aware program synthesis.