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