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