Scholar
Pedro Lopez-Garcia
Google Scholar ID: 9VYuHMIAAAAJ
Spanish Research Council (CSIC) and The IMDEA Software Institute
Citations & Impact
Citations
630
H-index
14
i10-index
23
Publications
20
Co-authors
27
list available
Publications
Resume (English only)
Research Experience
- Tenured Researcher at the Spanish National Research Council (CSIC) since May 28, 2008; affiliated with IMDEA Software Institute
- Previously held associate and assistant professor positions at UPM
- Served as Deputy Director of the Artificial Intelligence unit at UPM’s Computer Science Department
- Local Principal Investigator of EU projects ES_PASS (“Embedded Software Product-based ASSurance”) and FP7 FET ENTRA (“Whole-Systems Energy Transparency”)
- Participated in numerous international, national, and regional research projects
Background
- Research interests include energy-aware software development, multi-language analysis, verification, and optimization of non-functional properties—mainly resource usage (energy, execution time, user-defined), as well as determinism and non-failure
- Focus on low-energy and highly parallel computing in application domains such as Internet of Things, Healthcare, Big Data, and HPC
- Automatic static resource profiling and resource-aware program synthesis
- Abstract interpretation, automatic resource control in parallel and distributed computing
- Tree automata, type systems, constraint and logic programming
