Herramientas Personales
Usted está aquí: Inicio / Usuarios / diegog

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