Courses

Software Security

This course will present the principal concepts and methodologies associated with security in the development cycle.

Course Webpage

Computer Security Fundamentals

Computer Security Fundamentals This course will teach

Course Webpage

Formal construction and verification of programs in Type Theory

La asignatura se evaluará por medio de dos parciales y trabajos de laboratorio. El nivel mínimo de suficiencia en los trabajos de laboratorio es eliminatorio, ya que esta parte del trabajo del curso no puede ser evaluada mediante exámenes. Por otra parte, dependiendo de las condiciones de dictado del curso, el trabajo de laboratorio se evalúa según las opciones aprobado/ no aprobado, o con puntaje diferenciado en el caso de aprobación.

Course Webpage