Actions sur le document
Page de Roger Villemaire
|
Roger Villemaire, Ph.D. Professeur agrégé Coordonnées: PK-4615 Pavillon Président-Kennedy Tél: (514) 987-3000, poste 6744 Fax: (514) 987-8477 Courriel: Adresses civique et postale |
Biographie/Biography Enseignement Recherche/Research |
Intérêts de recherche
Modélisation et vérification de systèmes informatique
- Model checking
- Méthode SAT et algorithme DPLL
- Applications en télécommunications
Applications de la logique en informatique
- Logiques modales
- Automates