Roger Villemaire a obtenu un doctorat de l’Université de Tübingen (Allemagne) en 1988. Il a été boursier post-doctoral du CRSNG à l’université McGill de 1988 à 1990 avant de joindre l’UQAM où il a occupé différentes fonctions (stagiaire post-doctoral, professeur invité et substitut et aussi chargé de cours).

Depuis janvier 2000, M. Villemaire est professeur régulier au département d’informatique. Il dirige, depuis juin 2003, le programme de la maîtrise en informatique. Il s’intéresse aux applications de la logique en informatique, en particulier aux formalismes, méthodes et algorithmes qui peuvent aider à la réalisation de systèmes informatiques fiables.

Roger Villemaire obtained a Ph. D. from the University of Tübingen (Germany) in 1988. He was an NSERC post-doctoral fellow at McGill University during 1988-1990 before joining UQAM where he held various positions (post-doctoral fellow, invited and substitute professor and also lecturer).

Since January 2000, Mr. Villemaire holds a regular professor position in the department of computer science. He leads, since June 2003, the Masters in computer science program. His research interests are applications of logic in computer science, particularly formalisms, methods and algorithms which can help to realize reliable computing systems.