SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Manuel Hermenegildo

Registered user since Tue 9 Jun 2015

Name:Manuel Hermenegildo
Bio:

Manuel Hermenegildo is Distinguished Professor at (and was the Founding Director of) the IMDEA Software Institute. He is also 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 Associate 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.

Country:Spain
Affiliation:IMDEA Software Institute and T.U. of Madrid
Personal website:http://cliplab.org/herme

Contributions

LPOP 2020 Break: Ask Me Anything
Committee Member in Program Committee within the LPOP 2020-track
SAS 2020 Cost Analysis of Smart Contracts via Parametric Resource Analysis
Invited Speaker in Invited Speakers within the SAS-track
Show activities from other conferences

SPLASH 2020-profile
View general profile