Foto: Archivo DCC.
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).
Áreas generales de investigación:
- Lenguajes de Programación
Líneas de especialización
- Verificación de programas
- Programas probabilísticos
-
Asistentes de pruebas