Scholar
Manuel Hermenegildo
Google Scholar ID: VXQGJD0AAAAJ
IMDEA Software Institute and Technical U. of Madrid (UPM)
Citations & Impact
Citations
1,575
H-index
20
i10-index
56
Publications
20
Co-authors
78
list available
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Publications listed on DBLP and Google Scholar profile.
Research Experience
- Distinguished Professor at (and 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. Full professor at the Department of Artificial Intelligence of the Technical University of Madrid (UPM). Leads the CLIP (Computational logic, Languages, Implementation, and Parallelism) Lab, a joint UPM-IMDEA Software research unit.
Education
- No specific educational background information provided.
Background
- Research interests include 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.
Miscellany
- Short bio and 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 but typically not very up to date version of CV (also in pdf).
