Examen de Grado Doctorado: Raimil Cruz

Título de la Tesis: "Type Abstraction and Faceted Types for Declassification"
Alumno: Raimil Cruz Concepcíón

Comision de Grado:

  • Profesor Guia: Eric Tanter
  • Prof. Integrante: Federico Olmedo
  • Prof. Integrante: Ismael Figueroa
  • Prof. Externo: Amal Ahmed - Khoury College of Computer Scieces - Northeastern University

Lugar
Auditorio Philippe Flajolet
Facultad de Cs. Físicas y Matemáticas
Universidad de Chile

Dirección
Beauchef 851, edificio norte, 3er piso

Fecha del evento
15 de Enero de 2020
13:30 - 15:00

Organizador
Docencia
sandra@dcc.uchile.cl
229784330