Manuel Hermenegildo
PhD - The University of Texas at Austin, USA
Research Professor and Scientific Director
IMDEA Software Institute
Bloque 3, Fac. Informática
Campus Montegancedo UPM
28660-Boadilla del Monte, Madrid
SPAIN
Office: 3324
Telephone: +34-91-101-2202 ext 4101
Fax: +34-91-101-1358
Webpage: http://software.imdea.org/people/manuel.hermenegildo/index.html
Email: 
Research Interests
Abstract interpretation-based program analysis, verification,
debugging, and optimization; programming language design and
implementation; multi-paradigm programming; parallelizing compilers.
Short bio
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.
Other info
Complete, typically not up to date version of my CV (also in
pdf)
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.
|
