Académico del Departamento de Ciencias de la Computación de la Facultad de Ciencias Físicas y Matemáticas.
Ph.D. Computer Science, Wesleyan University; Magíster en Lógica Matemática, Pontificia Universidad Católica de Chile; Licenciatura en Matemáticas, Universidad de Chile.
