Maximiliano Klemen

BS - Universidad Nacional del Comahue (UNCo), Argentina

PhD Student

Research Interests

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