Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Manuel Hermenegildo

Registered user since Tue 9 Jun 2015

Name: Manuel Hermenegildo

Bio: Manuel Hermenegildo is a Full Professor and (Founding) Scientific Director of the IMDEA Software Institute. He is also a full Prof. of Computer Science at the Tech. U. of Madrid, UPM. Previously he held an Endowed Chair in Information Science and Technology at the U. of New Mexico. He was also project leader at the MCC research center and Adjunct Assoc. Prof. at the CS Department of the U. of Texas, both in Austin, Texas. See his home page for more information.

Research interests: Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretation; Partial Evaluation; Parallelism and Parallelizing Compilers; Constraint/Logic/Functional Programming Theory and Implementation, Abstract Machines; Automatic Documentation Tools, Execution Visualization; Sequential and Parallel Computer Architecture.

Affiliation: IMDEA Software Institute and T.U. of Madrid (UPM)

Personal website: http://cliplab.org/herme

Contributions

DPA 2018Author of Horn Clause-based Program Analysis with CiaoPP within the DPA-track
Show activities from other conferences

ECOOP and ISSTA-profile
View general profile