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 (2023.1)

## List of courses taught (2016.1–2023.1)

**Mathematical Foundations for Computation I**(FMC1)

2016.1; 2016.2 (2); 2019.2 [lecture videos]; 2020.1→.6; 2020.2 (2); 2021.1; 2021.2 (2); 2022.1; 2022.2 [lecture videos];**Mathematical Foundations for Computation II**(FMC2)

2016.1; 2017.1 (2); 2017.2 (1+⅔); 2018.1; 2018.2 (1+⅓) [lecture videos]; 2019.1 (1+⅔) [lecture videos]; 2020.1→.6 (2); 2021.1; 2022.1; 2022.2 (⅓); 2023.1;**Functional Programming**

2018.1; 2019.2 [lecture videos]; 2022.2;**Category theory**

2018.1; 2021.2; 2023.1;**Proof theory & type theory**

2017.1;**General Topology**

2019.1;**Sets, Functions, Relations**

2020.5.

## 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

## Courses prepared for self-study

Collaborating with a few colleagues, we have created and defended this proposal which was voted against by the the commitee of my department (NB: in such commitee there were 0 profs working in related areas). Nevertheless, we have applied out work to our methodology for teaching the courses FMC1, FMC2, and FMC3.

My FMC1 class of 2022.2 was completely based on this work, and had *by far* the most successful results our course has seen so far.
To help students who wish to self-study this material, I have re-organized and split its website in four different sites (and playlists), better suited for this use:

- FMC1-Intro: (common prerequisite for the following modules)
- FMC1-IDMa:
**Introduction to Mathematical Proof (using the theory of integers)** - FMC1-IDMb:
**Introduction to Mathematical Proof (using the theory of real numbers)** - FMC1-IRI:
**Introduçtion to Recursion and Induction**

Studying these in advance is particularly recommended for students wishing to enroll in FMC2.

## 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!