Teaching

I am currently teaching a graduate course on programming language foundations:

• INF889J (F24): Fondements pratiques des langages de programmation

At UQAM, I have previously taught:

• INF1070 (W24): Utilisation et administration de systèmes informatiques

At McGill, I was a co-instructor with Brigitte Pientka for:

• COMP302 (F21): Programming Languages and Paradigms

At Carnegie Mellon, I was a teaching assistant for:

• 15-814 (F18): Types and Programming Languages
• 15-317/15-657 (F17): Constructive Logic