Manuel Hermenegildo is a distinguished academic holding dual appointments as a Full Professor at the Polytechnic University of Madrid (Spain) and a Distinguished Professor at the IMDEA Software Institute. He earned his Ph.D. in Computer Science from the University of Texas at Austin in 1986. His roles include Founding Director of IMDEA Software (2007–2017) and former Director of Spain's national research funding agency. He leads the CLIP Lab (UPM) and contributes to the Ciao programming language and CiaoPP analysis tool. Education: Ph.D. in Computer Science, University of Texas at Austin (1986) Research focuses on global program analysis, verification, debugging, parallelism, and logic programming. He has authored over 250 papers and received prestigious awards like the ACM Fellowship and Spain's Julio Rey Pastor Prize. His leadership roles span international organizations such as INRIA's Scientific Board and the European Association for Programming Languages and Systems (EAPS). Key contributions include static analysis frameworks, energy-aware programming models, and educational tools like the Ciao Prolog Playground. Notable collaborations include the ENTRA project for whole-system energy transparency. His work emphasizes practical applications of formal methods, with projects funded by national and international grants. Advises on policy and research strategy for EU and Spanish science initiatives.





