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