Herramientas Personales
Usted está aquí: Inicio / Usuarios / diegog
Agenda [Ver +]
Defensa Tesis Licenciatura Nicolás Saravia 17/11/2017 16:00 — Laboratorio 5
Defensa Tesis Licenciatura Ariel Zylber 21/11/2017 17:00 — Aula a confirmar
Charla de la Carrera 28/11/2017 14:00 — Hall Central
 

Diego Garbervetsky

Contact:

  • 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 Interest:

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

Teaching:

  • Algoritmos y Estructura de Datos 1
  • Análisis y Síntesis Automática de Programas
  • Seminario de Análisis Automático de Programas
  • Paradigmas de Lenguajes de Programación