Courses

• 2025-1. SI1001 Teoría de la Computación, curso pregrado
• 2024-2. ST0244 Lenguajes de Programación, curso pregrado
• 2024-1. CM0081 Automata and Formal Languages, undergraduate course
• 2024-1. ST0270 Lenguajes Formales y Compiladores, curso pregrado
• 2023-2. CM0246 Estructuras Discretas, curso pregrado
• 2022-2. Category Theory and Functional Programming Languages, postgraduate course
• 2020-2. CM0889 Analysis of Algorithms, postgraduate course
• 2020-1. Lambda Calculus, undergraduate course
• 2019 (July). ST0898 Levelling Course in Computation, postgraduate course
• 2018-2. Ordinals and Typed Lambda Calculus, undergraduate course
• 2018-1. CM0884 Graph Theory, postgraduate course
• 2017-2. CM0832 Elements of Set Theory, postgraduate course
• 2017-1. CM0859 Type Theory, postgraduate course
• 2016-2. Foundations of Functional Programming Languages, postgraduate course
• 2016-1. CM0845 Logic, postgraduate course
• 2016-1. CM0436, CM0441, CM0055. Research Practises for Mathematical Engineering
• 2015-2. CM0260 Lógica, curso pregrado
• 2014-2. CB0246 Discrete Structures, undergraduate course
• 2014-1. Verification of Functional Programs, postgraduate course
• 2011-1. Dependently Typed Functional Languages, postgraduate course
• 2010-2. Lambda Calculus, slides, undergraduate course
• 2009-2. Lambda Calculus and Combinatory Logic, slides, undergraduate course
• 2004 (Julio). Computación Cuántica, X Encuentro ERM, diapositivas
• 2003-2. HL0649 Lógica Paraconsistente, diapositivas curso posgrado
• 2003-1. CB120 Fundamentos de Computación Cuántica, curso pregrado

Andrés Sicard Ramírez Last modified: Mon Jan 20 23:10:12 -05 2025