Pedro López-García
PhD - Technical University of Madrid (UPM), Spain
Researcher
IMDEA Software Institute
Bloque 3, Fac. Informática
Campus Montegancedo UPM
28660-Boadilla del Monte, Madrid
SPAIN
Office: 3326
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:
|
