Diego Garbervetsky

Dr. Diego Garbervetsky is an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires. He serves as Director of the Institute of Research in Computer Sciences (ICC/CONICET).

• Research Focus: Static analysis techniques for Java-like programs and Smart Contracts
• Specializations: Automated program verification, resource analysis (gas/memory/energy), API validation

Research Interests
His work centers on:

• Compositional heap memory analysis for Java/.NET programs
• Symbolic resource analysis and contract-based verification
• Real-time system verification tools

Scientific Awards
Selected for PIP 2022 grant by CONICET (Argentinian science agency).

Academic Service
Active program committee member in 2018-2021 for conferences like ICSE, FSE, and SEFM. Currently hiring PhD and postdoc researchers.

Tools Development
Created analysis tools including Contractor.NET, JConsume2, and VInTime suite.