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