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 UPM. He was the founding director of the IMDEA Software Institute (2007-2017), dedicated to research in science and technology for software development. Prior 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 Associate Professor (adjunct) at the CS Department of the U. of Texas (1987-1990), both in Austin.

His interest and contributions cover many areas including global program analysis, optimization, verification, and debugging of functional and non-functional properties; abstract interpretation; partial evaluation; energy-aware computing; logic and constraint programming theory and implementation; parallelism and (resource-aware) parallelizing compilers; abstract machines; automatic documentation tools; execution visualization; and sequential and parallel computer architecture. He is one of the main contributors to the Ciao multiparadigm programming language and the CiaoPP program analyzer, optimizer, and verifier.

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 a large number of national and international projects, area editor or adviser of several journals, and chair, PC chair, PC member, and member of the steering board of the major international conferences in his areas of research.

He is an ACM Fellow and 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 to the Academia Europaea.

He has supervised 15 Ph.D. theses at UPM, the U. of New Mexico, and the U. of Texas at Austin, and a large number of postdocs.

He is the president of the Scientific Board of the French National Research Council for Informatics and Applied Mathematics, INRIA, and a member of the ACM Europe Council and the ACM Europe Technology Policy Committee, and was elected President of the International Association for Logic Programming, vice-President of Informatics Europe, and member of the Scientific Advisory Board of Dagstuhl, the Steering Board of EIT Digital, the executive committee of the European Association for Programming Languages and Systems, and several other international scientific committees.

He has also 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.