Diego Garbervetsky

Diego Garbervetsky is an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires, and a Researcher at ICC/CONICET. He also serves as Director of the Institute of Research in Computer Sciences (ICC). His academic career spans multiple roles in software engineering research and education.

His educational background is not explicitly stated in the provided texts, but his current position reflects extensive academic achievement.

Garbervetsky's research focuses on static analysis techniques for Java-like programs and Smart Contracts, automated program verification, program understanding, and validation. His specific interests include program understanding, testing and verification of programs featuring rich protocols, static analysis for program verification, and automatic symbolic resource analysis (gas consumption, dynamic memory, energy, etc.). His research has significant implications for blockchain technology, particularly in smart contract verification.

Analysis of his recent publications reveals a strong trend toward smart contract security and verification, with multiple papers on modal abstractions, predicate abstractions, and tools like VeriSol for Solidity smart contracts. His work bridges formal methods with practical software engineering challenges, particularly in the blockchain domain.

His scientific contributions include the development of multiple research tools:

• Contractor: Automated tool for behavior validation
• Contractor.NET: Visual Studio extension for .NET validation
• JConsume2: Compositional analysis for Java heap memory
• Consume.Net: Compositional analysis for .NET heap memory
• BudaPest: Automated software verifier
• VInTime: Verification suite for Real Time systems

Garbervetsky has supervised numerous PhD students including Daniel Wappner, Javier Godoy, and Alexis Soifer, with former students now working at companies like Microsoft, Veritran, and Dialpad. He has served on program committees for major conferences including ICSE, FSE, ASE, and ISSTA, demonstrating his standing in the software engineering research community. His service includes chairing workshops and serving on artifact evaluation committees, showing his commitment to research quality and reproducibility.

He currently teaches Software Engineering 2 at the University of Buenos Aires, having previously taught courses in algorithms, automatic software validation, program analysis, programming paradigms, and computer organization.