Teaching

Here is my experience as a lecturer.

Fall 2019

Logique et techniques de preuve
(Mathematical Logic and Proof Techniques)
Laval University

Fall 2020

Logique et techniques de preuve
(Mathematical Logic and Proof Techniques)
Laval University