Federico Olmedo

Profesor Asistente
Doctor en Ciencias de la Computación, Universidad Politécnica de Madrid, España (2014). Licenciado en Ciencias de la Computación, Universidad Nacional de Rosario, Argentina (2008).

 

Página personal

 

Áreas generales de investigación:

  • Lenguajes de Programación

Líneas de especialización  

  • Verificación de programas
  • Programas probabilísticos
  • Asistentes de pruebas