IMDEA initiative

Home > People

Manuel Hermenegildo

PhD - The University of Texas at Austin, USA

Distinguished Professor

Manuel Hermenegildo
IMDEA Software Institute

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

Office: 386
Telephone: +34-91-101-2202 ext 4101
Fax: +34-91-101-1358
Email:


Research Interests

Global program analysis, verification, debugging, and optimization, of functional and non-functional properties (time, memory, energy); abstract interpretation; partial evaluation; programming language design and implementation; parallelism and (resource-aware) parallelizing compilers; constraint and logic programming; abstract machines; automatic documentation tools; execution visualization; computer architecture.

Short bio

Manuel Hermenegildo received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, USA, in 1986. From January 1, 2007 to May 31, 2017 he was the founding Director of the IMDEA Software Institute, where he now continues as Distinguished Professor. He is also a full Prof. of Computer Science at the Tech. U. of Madrid, UPM. Previously to joining the IMDEA Software Institute he held the P. of Asturias Endowed Chair in Information Science and Technology at the U. of New Mexico, USA. He was also project leader at the MCC research center and Adjunct Assoc. Prof. at the CS Department of the U. of Texas, both in Austin, Texas, USA.

He has published more than 200 refereed scientific papers and monographs and has given numerous keynotes and invited talks in major conferences in these areas. He has also been coordinator and/or principal investigator of many national and international projects, area editor of several journals, and chair, PC chair, PC member, and member of the steering board of a good number of conferences. He has received the Julio Rey Pastor Spanish National Prize in Mathematics and Information Science and Technology and the Aritmel National prize in Computer Science, and is one of the most cited Spanish authors in Computer Science. He is also an elected member of the Academia Europaea.

He is a member of the scientific boards of Dagstuhl and INRIA and vice-President of Informatics Europe. He has been elected President of the International Association for Logic Programming, as well as member of the executive committee of the European Association for Programming Languages and Systems, and several other international committees.

Previously he served as General 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 Spanish representative in the EU Advisory Committee for Research (CREST), among other appointments.

Other info

Complete, typically not up to date version of my CV (also in pdf) I also lead the CLIP (Computational logic, Languages, Implementation, and Parallelism) Lab, a UPM lab associated with IMDEA Software. You can find much information on recent CLIP research activities, projects, papers/technical reports, software prototypes, etc. in the CLIP pages.