IMDEA initiative

Home > People

Pedro López-García

PhD - Technical University of Madrid (UPM), Spain

Researcher

Pedro López-García
IMDEA Software Institute

Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
SPAIN

Office: 370
Telephone: +34-91-101-2202 ext 4109
Fax: +34-91-101-1358
Email:


Research interests

Energy-aware software development. Multi-language analysis, verification and optimization of non-functional properties, mainly resource usage (energy, execution time, user defined), but also determinism and non-failure, etc. Low energy and highly parallel computing in different application domains: Internet of Things, Healthcare, Big Data, and HPC. Automatic static profiling of resources. Resource-aware program synthesis. Abstract Interpretation. Automatic control of resources in parallel and distributed computing. Tree automata. Type systems. Constraint and logic programming.

Short bio

Pedro López-García received a MS degree and a Ph.D. in Computer Science from the Technical University of Madrid (UPM), Spain in 1994 and 2000, respectively. On May 28, 2008 he obtained a Tenured Researcher position at the Spanish National Research Council (CSIC) and joined the IMDEA Software Institute. Immediately prior to this position, he held associate and assistant professor positions at UPM and was deputy director of the Artificial Intelligence unit at the Computer Science Department. He has published more than 60 refereed scientific papers, many of them at conferences and journals of high or very high impact. He served as the local principal investigator of the European projects ES\_PASS ``Embedded Software Product-based ASSurance,'' and the FP7 FET ENTRA ``Whole-Systems Energy Transparency.'' He has also participated as a researcher in many other international, national, and regional projects.

Publications

My list of publications at DBLP.