Cours enseignés (depuis 1994)

• INF3135: Construction et maintenance de logiciels
• INF3140: Modélisation et spécification formelle des logiciels
• INF4100: Conception et analyse d'algorithmes
• INF4110: Structures de données et algorithmes: Conception et analyse
• INF4170: Architecture des ordinateurs
• INF5171: Programmation concurrente et parallèle
• INF600A: Langages de script et langages dynamiques
• INF7235: Programmation parallèle haute performance
• INF7440: Conception et analyse des algorithmes
• INF8000: Introduction à la recherche en informatique
• INF8541: Paradigmes de programmation [parallèle]
• MGL7160: Méthodes formelles et semi-formelles
• MGL7460: Réalisation et maintenance de logiciels