Here you can find information regarding past, current, and sometimes future teaching 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 site.

## Next semester (2018.1)

- Category theory: 2018.1 (1 class)
- Mathematical Foundations for Computation II: 2018.1 (1 class)
- Functional Programming: 2018.1 (1 class)

## Past semesters

- Proof theory & type theory: 2017.1
- Mathematical Foundations for Computation I: 2016.1; 2016.2 (2 classes)
- Mathematical Foundations for Computation II: 2016.1; 2017.1 (2 classes); 2017.2 (1⅔ classes)

## Mini-courses

- Typesetting correctly with TeX/LaTeX/ConTeXt: 2016.1; 2017.1
- Haskell mini-course: 2017.1
- Unix tools and philosophy: 2016.2

## Projects

**fmc**.imd.ufrn.br: teaching assistance project (with 2 T.A.'s) for the courses FMC1, FMC2, and FMC3**haskell**.imd.ufrn.br: functional programming with Haskell**TeX**.imd.ufrn.br: T_{E}X programming and typesetting

## Optional courses / research projects

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