Investigadores

Federico Olmedo
else: ?>
Profesor Asistente
Departamento de Ciencias de la Computación,
Universidad de Chile

Profesor Asistente del Departamento de Ciencias de la Computación de la Universidad de Chile. Doctor en Ciencias de la Computación, Universidad Politécnica de Madrid, España. Sus áreas de interés son la semántica y verificación de programas, con particular aplicación a la seguridad (y privacidad) basada en lenguajes.