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
Webpage: http://software.imdea.org/people/pedro.lopez/index.html
Email:

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. In May 28, 2008 he got a Scientific Researcher position at the Spanish Council for Scientific Research (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 about 30 refereed scientific papers (50% of them at conferences and journals of high or very high impact.) He has also been coordinator of the international project ES_PASS and participated as a researcher in many other national and international projects.

His main areas of interest include automatic analysis and verification of global and complex program properties such as resource usage (user defined, execution time, memory, etc.), non-failure and determinism; performance debugging; (automatic) granularity analysis/control for parallel and distributed computing; profiling; unit-testing; type systems; constraint and logic programming.

Research interests

My research interests lie in the areas of automatic analysis and verification of global and complex program properties (resource usage, non-failure, determinism, ...) and its application to embedded systems; performance debugging; granularity control for parallel and distributed computing; and constraint and logic programming.

Publications

My list of publications at DBLP.

Current Teaching

Two elective courses in the International Master's in Computational Logic taught in collaboration with the Technical University of Madrid (UPM), Technical University of Dresden, Technical University of Vienna, Free University of Bozen-Bolzano, and Nova University of Lisbon: