Roger Villemaire, Professeur Coordonnées: PK-4615 Pavillon Président-Kennedy Tél: (514) 987-3000, poste 6744 Fax: (514) 987-8477 Courriel:

Enseignement Recherche/ Research

Intérêts de recherche

Application de la logique en informatique

• résolution de contraintes; SAT, QBF
• représentation de la connaissance; logiques modales et de description
• modélisation, formalisation et inférence