Home – Research – Teaching

This page (and subpages) contains lecture material for my students, mostly in French, from 2023.

See my old page devoted to lectures between 2009 and 2020.

See another old page devoted to lectures between 2020 and 2022.

Courses at the Université du Québec à Montréal

Fall 2026

• Algorithmique (INF5130), groupe 10.
• Programmation fonctionnelle et logique (INF6120), groupe 20.

Winter 2025

• Algorithmique (INF5130), groupe 10.
• Mathématiques pour l’informatique (INF1132), groupe 50.

Fall 2024

• Mathématiques pour l’informatique (INF1132), groupe 40.
• Programmation fonctionnelle et logique (INF6120), groupe 20.

Fall 2023

• Mathématiques pour l’informatique (INF1132), groupe 40.
• Programmation fonctionnelle et logique (INF6120), groupe 20.

Winter 2023

• Mathématiques pour l’informatique (INF1132), groupe 10.
• Mathématiques pour l’informatique (INF1132), groupe 40.