Diego Garbervetsky
 |
Dr. Diego Garbervetsky |
Contact:
- complete homepage: Diego Garbervetsky
- email: diegog AT dc DOT uba DOT ar
- phone: +54-11-4576-3390/96 (ext. 508)
- office: cuarto 18 - entre piso - pabellón I
Research:
My research group: LAFHIS
- Program Analysis and Verification for Java like programms
- Memory consumption prediction (for embedded systems).
- Real-time systems modeling and modelcheckinig (using Timed Automata)
Teaching:
- 2012: Algoritmos y Estructuras de Datos I, Automatic Verification and Validaition of Software Artifacts
- 2011: Algoritmos y Estructuras de Datos I, Automatic Program Analysis
- 2010: Ingeniería de Software 2, Algoritmos y Estructuras de Datos I
- 2008,2009: Automatic Program Analysis
- 2008: Paradigmas de Lenguajes de Programación
- 2006-2008: 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
