Manuel
Hermenegildo

Bio

Manuel Hermenegildo received his Ph.D. degree in Computer Science and Engineering from the U. of Texas at Austin in 1986 and an Engineer's Degree from T.U. Madrid (UPM) in 1981. He is currently Distinguished Professor at the IMDEA Software Research Institute and full Prof. of Computer Science at T.U. Madrid (UPM). He was the founding director of the IMDEA Software Institute (2007-2017), dedicated to research in science and technology for software development. to joining the IMDEA Software Institute, he held the P. of Asturias Endowed Chair at the U. of New Mexico, USA (2003-2008). He has also been Project Leader at the MCC research center (1986-1989) and Adjunct Assoc. Prof. at the CS Department of the U. of Texas (1987-1990), both in Austin.

His interest and contributions cover many areas including energy-aware computing; analysis, verification, and optimization of resources and other non-functional properties; global program analysis, optimization, verification, and debugging; abstract interpretation; partial evaluation; parallelism and parallelizing compilers; constraint/logic/functional programming theory and implementation; abstract machines; automatic documentation tools; execution visualization; and sequential and parallel computer architecture.

He has published more than 250 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 or adviser of several journals, and chair, PC chair, PC member, and member of the steering board of a good number of major international conferences.

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 association. He has also been elected member of the Academia Europaea.

He is the president of the Scientific Board of the French National Research Council for Informatics and Applied Mathematics, INRIA, member of the Scientific Advisory Board of Dagstuhl, vice-President of Informatics Europe, and member of the Steering Board of EIT Digital, among others. 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 Director of the Madrid node of EIT Digital, the ICT KIC of the European Institute of the Technology, and the IMDEA-Microsoft Joint Research Center, 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 (CSIC), the Center for Industrial and Technological Development (CDTI), and as the Spanish representative in the EU Advisory Committee for Research (CREST), among other national and international duties.