- Automata and Formal Languages - CM0081 (2020-1), undergraduate course
- Programming Languages - ST0244 (2020-1), undergraduate course
- Levelling Course in Computation - ST0898 (June 2019), postgraduate course
- Elements of Set Theory - CM0832 (2019-1), postgraduate course
- Ordinals and Typed Lambda Calculus - (2018-2), undergraduate course
- Graph Theory - CM0884 (2018-1), postgraduate course
- Type Theory - CM0859 (2017-1), postgraduate course
- Foundations of Functional Programming Languages (2016-2), postgraduate course
- Logic - CM0845 (2016-1), postgraduate course
- Research Practises for Mathematical Engineering (2016-1)
- Logic - CM0260 (2015-2), undergraduate course
- Discrete Structures - CM0246 (2014-2), undergraduate course
- Verification of Functional Programs (2014-1), postgraduate course
- Dependently Typed Functional Languages (2011-1), postgraduate course
- Lambda Calculus (2010-2), undergraduate course, slides
- Lambda Calculus and Combinatory Logic (2009-2), undergraduate course, slides
- Quantum Computation (2004), X Encuentro ERM, slides (Spanish)
- Paraconsistent Logic - HL0649 (2003-2), postgraduate course, slides (Spanish)
- Quantum Computation - CB120 (2003-1), undergraduate course, (Spanish)

Andrés
Sicard Ramírez
Last modified: Sat Jan 4 00:22:42 -05 2020 |