Manuel Hermenegildo

Manuel Hermenegildo is a distinguished professor at the IMDEA Software Institute and a full professor at the Technical University of Madrid (UPM), leading the CLIP Lab. He specializes in program analysis, verification, and optimization, with contributions to logic and constraint programming. His academic roles include founding director of IMDEA and leadership in EU-funded projects.

Education:

• PhD in Electrical and Computer Engineering, University of Texas at Austin (1986)
• M.S. in Electrical and Computer Engineering, University of Texas at Austin (1984)
• M.S. in Electrical Engineering, Technical University of Madrid (1981)

Research Interests: Focuses on global program analysis, verification, debugging, and optimization for functional/non-functional properties (e.g., time, memory, energy). Explores abstract interpretation, parallelism, constraint/logic/functional programming, and computational logic. His work bridges theoretical foundations and practical tools like Ciao Programming System.

Publications & Trends: Over 200+ papers in top venues like Theory and Practice of Logic Programming, POPL, and SAS. Recent work emphasizes static analysis for energy efficiency, formal verification via Horn clauses, and lightweight runtime checks. Contributions span formal methods, compiler optimization, and declarative languages.

Awards & Recognition:

• ACM Fellow (2010)
• Julio Rey Pastor Prize (2006) – Spain’s top award in mathematics/ICT
• Academia Europaea Membership (2010)
• Test of Time Award (ICLP 2017)
• Google Scholar: 10k+ citations, h-index 60

Advising & Grants: Supervised over 20 PhD students. Principal investigator on major EU projects (e.g., María de Maeztu distinction) and national initiatives. Served as director of the Spanish National Research Directorate, shaping science policy.

Labs & Teams: CLIP Lab (UPM-IMDEA), Microsoft-IMDEA Joint Research Center, and leadership in EIT Digital Spain. Collaborates globally with institutions like MIT, INRIA, and Monash University.