Investigadores

Federico Olmedo
else: ?>
Assistant Professor,
Department of Computer Science,
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.