!!Manuel Hermenegildo - Curriculum vitae

[Full CV|hermenegildo_manuel_cv_publications.pdf]
\\ \\
Manuel Hermenegildo (Madrid 1959) holds Masters and Ph.D.  degrees in  Computer Engineering from the University of Texas at Austin (1986) and an Engineer's Degree in Electrical and Telecommunications Engineering from the Technical University of Madrid (1981).
\\ \\
He is currently the Director of the IMDEA Software Research Institute, devoted to research in science and technology for improving program development, and full Prof. of Computer Science at the Tech. U. of Madrid, UPM. From 2003 to 2008 he held the P. of Asturias Endowed Chair in Information Science and Technology at the Computer Science and Electrical and Computer Engineering Departments of the U. of New Mexico, USA.  Previously he was project leader at the MCC research center (1986-1989) and Adjunct Associate Professor at the Computer Science Department of the University of Texas, both in Austin, Texas, USA (1987-1990).
\\ \\
His main areas of interest include programming language design and implementation; abstract interpretation-based program analysis, verification, debugging and optimization; parallelizing compilers; and parallel and distributed processing.  
\\ \\
He has published more than 150 refereed scientific papers and monographs in these areas, has given numerous keynotes and invited talks in major conferences, and is one of the most cited Spanish authors in Computer Science.  He has also been coordinator and/or principal investigator of many national and international projects, area editor of several journals, and chair and PC member of a large number of conferences.
\\ \\
He is area editor or adviser for various international scientific journals such as Theory and Practice of Logic Programming, the J. of New Generation Computing, and the Journal of Applied Logic. He is the elected President of the International Association for Logic Programming, as well as elected member of the executive committee of the European Association for Programming Languages and Systems, and several other international committees, and a national expert at the OECD.  Previously he served as Director of the Spanish scientific research funding agency (2000-2002) and as a member of the EU IST Advisory Group (ISTAG), the board of directors of the Foundation for Science and Technology, the Scientific Research Council, the Center for Industrial and Technological Development, and as the representative in the EU Advisory Committee for Research (CREST), among other appointments.
\\ \\
He has received the Julio Rey Pastor Spanish National Prize for Mathematics and Information Science and Technology, the highest national distinction in the area, and the Aritmel National prize in Computer Science, given by the Spanish computer science associations.