Investigador Raimil Cruz obtuvo el grado de Doctor en Computación
«Thype abstraction and faceted types for declassification”, se titula la tesis con la que Raimil Cruz obtuvo el grado de Doctor en Computación de la Universidad de Chile, el pasado 15 de enero. La investigación fue guiada por el profesor del DCC, Éric Tanter, y evaluada por una comisión de grado integrada por Federico Olmedo (Universidad de Chile), Ismael Figueroa (Universidad de Valparaíso) y Amal Ahmed (Northeastern University).
Fte: DCC. FCFM, miércoles 29 de enero 2020
Categorias: Facultad de Ciencias Físicas y Matemáticas