Marc Frappier, Ph.D.
Département d'informatique
Faculté des sciences, Université de Sherbrooke
Sherbrooke, Québec, Canada, J1K 2R1 

bottin téléphonique

Courriel :
Tél.: +1 819-821-8000 poste 62096
Fax. : +1 819-821-8200 
Bureau : Campus Principal, Pavillon des sciences D4 local 1010-08 Plan du campus principal
Stationnement visiteurs : P D4 ; parcomètres 2h max, ou permis journalier acheté à l'un des horodateurs du campus (voir petits triangles bleus sur le plan)
english version
biographie

Intérêts de recherche
  1. méthodes formelles de spécification
    1. spécification, raffinement, implémentation
    2. génération automatique de code à partir de spécifications
    3. preuve et model-checking de propriétés
  2. sécurité (contrôle d'accès)
  3. gestion du consentement

Arrimage bac-maîtrise

Débat sur la hausse des frais de scolarité : quelques statistiques intéressantes pour vous faire une opinion