Manuel
Hermenegildo

Main Activities

• I am distinguised professor at (and was the founding director of) the IMDEA Software Institute, devoted to research in science and technology for program development: software verification, debugging, security, privacy, programming languages, environments, optimization, parallelization, modeling, etc.
• I am a full professor at Department of Artificial Intelligence of the Technical University of Madrid (UPM).
• I lead the CLIP (Computational logic, Languages, Implementation, and Parallelism) Lab, a joint UPM-IMDEA Software research unit. You can find information on CLIP Lab research, projects, papers/technical reports, software prototypes, etc. in the CLIP Lab pages.

Research Interests

Global Program Analysis, Verification, Debugging, and Optimization for Functional and Non-functional Properties (Time, Memory, Energy); Abstract Interpretation; Partial Evaluation; Parallelism and (Resource-Aware) Parallelizing Compilers; Constraint/Logic/Functional Programming Theory and Implementation; Abstract Machines; Computational Logic; Automatic Documentation Tools; Execution Visualization; Sequential and Parallel Computer Architecture.

Publications at DBLP and Google Scholar profile

Short bio

Other info (usually not very up to date):

• Current and previous positions.
• List of publications by type of venue and
  group publications by research topic.
• Education.
• Service, Honors, Awards, ...
• Current and previous collaborators.
• Contact.
• Complete, typically not very up to date version of my CV (also in pdf).