IMDEA Software

IMDEA initiative

Home > People

Maximiliano Klemen

BS - Universidad Nacional del Comahue (UNCo), Argentina

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

Former PhD Student

Maximiliano Klemen

Research Interests

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