Courses
Programming Languages (CC4101)
Compiler Design and Implementation (CC5116)
Programación Avanzada en Scala (CC5111)
Programming Languages II (CC7110)
Introduction to Coq: Logic, Types, and Verification (CC7125)
Análisis y Verificación de Programas (CC7126)
Programación Funcional (CC5115)