Enseignement

J’enseigne présentement un cours de 2e et 3e cycle sur les fondements des langages de programmation:

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

À UQAM, j’ai aussi enseigné:

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

À McGill, j’étais co-enseignant avec Brigitte Pientka pour:

• COMP302 (A21): Programming Languages and Paradigms

À Carnegie Mellon, j’étais auxiliaire d’enseignement pour:

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