IMDEA initiative

Home > People

Maximiliano Klemen

BS - Universidad Nacional del Comahue (UNCo), Argentina

PhD Student

Maximiliano Klemen
IMDEA Software Institute

Office: 352
Telephone: +34-91-101-2202 ext 4167
Email: Maximiliano Klemen e-mail

Adviser: Pedro López-García

Research Interests

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