Courses
I am in charge of:
- an undergraduate and graduate course on foundations of Computer Security:Fundamentos de la Seguridad Informática (1st semester)
- an undergraduate and graduate course on formal construction and verification of programs in Type Theory:Construcción Formal de Programas en Teoría de Tipos (2nd semester)
I am the academic responsible of a specialization diploma on Computer Security:Diploma de Especialización en Seguridad Informática