Outils personnels
Vous êtes ici : Accueil → Utilisateurs → Roger VILLEMAIRE
 

Page de Roger Villemaire

R. 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: villemaire.roger

Adresses civique et postale
 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
Actions sur le document