Investigadores

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.