Activités d'enseignement (2008-09)

• INF3140: Modélisation et spécification formelle des logiciels
• INF5170: Programmation parallèle
• INF7235: Programmation parallèle haute performance

Cours enseignés à des sessions antérieures (avec sites Web)

• INF3135: Construction et maintenance de logiciels
• INF4110: Structures de données et algorithmes: Conception et analyse
• INF4170: Architecture des ordinateurs
• INF7440: Conception et analyse des algorithmes
• INF8541: Paradigmes de programmation [parallèle]
• MGL7160: Méthodes formelles et semi-formelles