Investigadores

Profesor Titular del Departamento de Ciencias de la Computación de la Universidad de Chile, Ph.D. in Computer Science, Universidad de Nantes, Francia y Universidad de Chile (2004). Sus áreas de interés son la programación, los lenguajes de programación (diseño, semántica, implementación) y la verificación formal de programas. Publica regularmente en las conferencias y revistas más prestigiosas del área, y ha recibido varios premios por artículos distinguidos y influyentes, así como premios y fondos de investigación de Google Research y Facebook Research.