Champs d'intérêts
- Vérification de modèles probablisites
- Méthodes formelle pour la sécurité
- Théorie des graphes - jeux de poursuite
Coordonnées
Pavillon Adrien-Pouliot, local 3984
418 656-2131
poste
405424
josee.desharnais@ift.ulaval.ca