Edgardo Zoppi

Lic. Edgardo Zoppi

Phd. Student @ LaFHIS, DC, FCEyN, Universidad de Buenos Aires

Acerca de mí

Edgardo Zoppi

Ayudante en el Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. También soy estudiante de doctorado en LaFHIS: Laboratorio de Fundamentos y Herramientas para la Ingeniería de Software y becario de CONICET: Consejo Nacional de Investigaciones Científicas y Técnicas desde 2013. Mi director es Diego Garbervetsky.

Email: ezoppi (en) dc . uba . ar

Temas de interés

  • Herramientas y entornos de desarrollo
  • Compiladores
  • Paradigmas de lenguajes de programación
  • Diseño e implementación de lenguajes de programación
  • Análisis de programas
  • Sistemas de tipos
  • Verificación de modelos
  • Validación de contratos
  • Especificación y verificación de contratos

Docencia

Herramientas

  • Contractor.NET: Versión de Contractor para .NET, una herramienta para validar y enriquecer especificaciones por contratos que recibe un componente de software anotado y genera una representación abstracta finita útil para su inspección.
  • Consume.NET: Versión de JConsume para .NET, un analizador estático composicional para inferir el consumo de memoria dinámica en programas .NET.

Publicaciones

Complete list (including tech reports)

Español