Dr. Diego Garbervetsky

• Departamento de Computación
• Facultad de Ciencias Exactas y Naturales
• Universidad de Buenos Aires

Contact:

• email: diegog AT dc DOT uba DOT ar
• phone: +54-11-4576-3390/96 (ext. 704)
• office: cuarto 10 - 2do piso - pabellón I

Teaching:

• 2006-Present: Algoritmos y Estructuras de Datos I
• Summer 2006: Organización del Computador I
• 2002-2005: Paradigmas de Lenguajes de Programación
• 1998-2002: Algoritmos y Estructuras de Datos I
• 1997: Algoritmos y Estructuras de Datos II

Research:

My publications

Mi research group: Dependex (Dependable Software Research Group)

• Program Analysis and Verification for Java like programms
• Memory consumption prediction (for embedded systems).
• Automatic discovery of method specifications.
• Real-time systems modeling and modelcheckinig (using Timed Automata)