Abstract interpretation-based program analysis, verification, debugging, and optimization; programming language design and implementation; multi-paradigm programming; parallelizing compilers.
Manuel Hermenegildo received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, USA, in 1986. Since January 1, 2007 he is Full Professor and Scientific Director of the IMDEA Software Institute. 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 has also been 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.
His main areas of interest include programming language design and implementation; abstract interpretation-based program analysis, verification, debugging and optimization; logic and constraint programming; parallelizing compilers; parallel and distributed processing. He has published more than 150 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 large 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 has also been elected president of the International Association for Logic Programming, and a member of the executive board of the European Association for Programming Languages and Systems, as well as of several other international committees. He served as general director for the research funding unit in Spain, as well as member of the European Union's high-level advisory group in information technology (ISTAG), and of the board of directors of the Spanish Scientific Research Council and the Center for Industrial and Technological Development, and as national representative in the EU Advisory Committee for Research (CREST), among other national and international duties.