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 IMDEA Software 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 Associate Professor at the CS Department of the U. of Texas, both in Austin, Texas, USA.
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 of several journals, and chair, PC chair, PC member, and member of the steering board of a good number of conferences.
He is an ACM Fellow and he has received the Julio Rey Pastor Spanish National Prize in 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, and is one of the most cited Spanish authors in Computer Science. He is also an 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, 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.
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 national and international duties.
I am one of the main contributors to the Ciao multiparadigm programming language and the CiaoPP program analyzer, optimizer, and verifier.
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.
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.
Complete, typically not up to date version of my CV (also in pdf)
