Benoît Fraikin
Coordonnées
Courriel : Benoit.Fraikin@USherbrooke.ca
Téléphone : 819 821-8000, poste 62013
Télécopieur : 819 821-8200
Local : D4-2009
Formation
M. Sc. Logique et fondement de l'informatique, Université de Paris VII (1999)
Ph. D. Informatique (génie logiciel et méthode formelle), Université de Sherbrooke (2006)
Enseignements 2010 - 2011
Automne
IFT159 | Analyse et programmation |
IFT752 | Technique de vérification et validation |
IGL501 | Méthodes formelles en génie logiciel |
Été
IFT313 | Introduction aux langages formels |
IFT359 | Programmation fonctionnelle |
IGL301 | Spécification et vérification des exigences |