Estimados,
En la sección Resultados Edición 2015 encontrarán la nota final de aprobación del curso. Los resultados han sido muy satisfactorios. Felicitaciones!
Les recordamos que en el contexto de la actividad de investigación de nuestro equipo es posible desarrollar proyectos de grado que vinculan conceptos de Métodos Formales y Seguridad Informática haciendo uso en particular de la herramienta Coq. Los interesados pueden contactarse con nosotros para conocer detalles de posibles proyectos.
Felices Fiestas,
Carlos y Gustavo