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.

## Current semester (2017.2)

- Mathematical Foundations for Computation II: 2017.2 (1⅔ classes)

## Past semesters

- Topics in CS: proof theory & type theory: 2017.1
- Mathematical Foundations for Computation I: 2016.1; 2016.2 (two classes)
- Mathematical Foundations for Computation II: 2016.1; 2017.1 (two 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!