Here you can find information regarding past, current, and sometimes future teaching of mine at Universidade Federal do Rio Grande do Norte. Information about previous teaching experiences can be found in my CV; I post reviews & feedback from my students as soon as they become available to me.

Also: info on my teaching assistants on a separate page.

## This semester (2020.2)

- Mathematical Foundations for Computation I: 2020.2 (2 classes)

## Past semesters

- Mathematical Foundations for Computation I: 2016.1; 2016.2 (2 classes); 2019.2 (2 classes) [lecture videos]; 2020.1→.6 (1 class)
- Mathematical Foundations for Computation II: 2016.1; 2017.1 (2 classes); 2017.2 (1+⅔ classes); 2018.1; 2018.2 (1+⅓ classes) [lecture videos]; 2019.1 (1+⅔ classes) [lecture videos]; 2020.1→.6 (2 classes)
- Functional Programming: 2018.1; 2019.2 [lecture videos]
- Proof theory & type theory: 2017.1
- Category theory: 2018.1
- General Topology: 2019.1
- Sets, Functions, Relations: 2020.5
- Combinatorics: 2019.1 (only 1 lecture) [lecture video]

## Mini-courses

- Typesetting correctly with TeX and friends: 2016.1; 2017.1; 2018.2 [lecture videos]
- Introduction to Haskell: 2017.1
- Unix tools and philosophy: 2016.2; 2018.1; 2019.2

## Projects

**fmc**.imd.ufrn.br: teaching assistance project for the courses Mathematical Foundations for Computation**haskell**.imd.ufrn.br: functional programming with Haskell**TeX**.imd.ufrn.br: T_{E}X programming and typesetting**unix**.imd.ufrn.br: unix programming

## Optional courses / research projects

Students interested in these courses and/or projects should contact me by email!