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