Manuel
Hermenegildo
Main Activities
- I am
the director
of the IMDEA Software
Institute, a new research institute in Madrid devoted to research
in science and technology for program development: software
verification, debugging, programming languages, environments,
optimization, parallelization, modeling, etc.
- I am also a full professor at
the Technical University of Madrid
(UPM).
- I 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.
Research Interests
Abstract interpretation-based program analysis, verification,
debugging, and optimization; programming language design and
implementation; multi-paradigm programming; parallelizing
compilers.
Other info
|