IMDEA Software

IMDEA initiative

Home > People > Maximiliano Klemen

Maximiliano Klemen

The information in this page may be outdated, as Maximiliano Klemen is currently not a member of the Institute.

Maximiliano Klemen
BSc - Universidad Nacional del Comahue (UNCo), Argentina
Former PhD Student


Adviser: Pedro López

Research Interests

Static analysis of non-functional global properties (e.g. resource consumption properties) - Abstract Interpretation