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. 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 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.
|