About
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.
0Publications listed
Find Diego Garbervetsky elsewhere
Related Searches
You Might Also Like
Diego GarbervetskyMax Planck Institute for Security and Privacy · Associate Professor
Diego GarbervetskyNational and Kapodistrian University of Athens · Associate Professor
Juan Pablo GaleottiUniversity of Buenos Aires (UBA) · Professor
Michael EichbergNational and Kapodistrian University of Athens · Professor
Yi LiMax Planck Institute for Security and Privacy · Associate Professor- MMaria ChristakisVienna University of Technology · Professor