Investigadores

Federico Olmedo
else: ?>
Profesor
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 investigación en semántica y verificación de programas en general, en particular la verificación probabilística de programas, lenguaje basado en seguridad.