Michel Boyer

Professeur agrégé

Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle

André-Aisenstadt office 3347

michel.boyer@umontreal.ca

514 343-7220

Web : Autre site web

Affiliations

Membre – INTRIQ — Institut transdisciplinaire d'information quantique
Membre – LITQ — Laboratoire d’informatique théorique et quantique

Education Programs

Fundamental and Applied Sciences Information and Communication Technologies
Fundamental and Applied Sciences Information and Communication Technologies
Fundamental and Applied Sciences
Fundamental and Applied Sciences
Fundamental and Applied Sciences
Fundamental and Applied Sciences
Life Sciences Fundamental and Applied Sciences Health Sciences
Life Sciences Fundamental and Applied Sciences Health Sciences

Courses

IFT2935 Bases de données

Areas of Expertise

Responsabilities and outreach Expand all Collapse all

Activités au sein d’organismes ou d’entités de l’institution

Student supervision Expand all Collapse all

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems Thèses et mémoires dirigés / 2013 - 2013

Graduate : Sabas, Arsène
Cycle : Doctoral
Grade : Ph. D.

Lien vers le document dans Papyrus

Categorical quantum computation Thèses et mémoires dirigés / 2009 - 2009

Graduate : Paquette, Éric Oliver
Cycle : Doctoral
Grade : Ph. D.

Lien vers le document dans Papyrus

Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes Thèses et mémoires dirigés / 1996 - 1996

Graduate : Pesant, Gilles
Cycle : Doctoral
Grade : Ph. D.

Lien vers le document dans Papyrus

La théorie des catégories en informatique : notions de base et application Thèses et mémoires dirigés / 1994 - 1994

Graduate : Boucher, Dominique
Cycle : Master's
Grade : M. Sc.

Lien vers le document dans Papyrus

Extraction de chaînes phonémiques à l'aide de modèles de Markov en reconnaissance automatique de la parole Thèses et mémoires dirigés / 1991 - 1991

Graduate : Millien, Evelyne
Cycle : Master's
Grade : M. Sc.

Lien vers le document dans Papyrus

Modélisation de réactions émotives et application à la génération de récits Thèses et mémoires dirigés / 1991 - 1991

Graduate : Nault, Georges
Cycle : Master's
Grade : M. Sc.

Lien vers le document dans Papyrus

Transformations de programmes logiques : Bases sémantiques et applications Thèses et mémoires dirigés / 1990 - 1990

Graduate : Tarau, Paul
Cycle : Doctoral
Grade : Ph. D.

Lien vers le document dans Papyrus

Chronolog, un langage de représentation des connaissances temporelles Thèses et mémoires dirigés / 1990 - 1990

Graduate : St-Vincent, Pierre
Cycle : Master's
Grade : M. Sc.

Lien vers le document dans Papyrus

La conception de logiciels d'assistance dans un contexte d'apprentissage Thèses et mémoires dirigés / 1990 - 1990

Graduate : Bergeron, Anne
Cycle : Doctoral
Grade : Ph. D.

Lien vers le document dans Papyrus

Méthodes d'échanges pour problèmes d'affectation Thèses et mémoires dirigés / 1989 - 1989

Graduate : Lavoie, Alain
Cycle : Master's
Grade : M. Sc.

Lien vers le document dans Papyrus

Research projects Expand all Collapse all

REGROUPEMENT STRATEGIQUE - INSTITUT TRANSDISCIPLINAIRE D'INFORMATIQUE QUANTIQUE (INTRIQ) Projet de recherche au Canada / 2011 - 2014

Lead researcher : Alain Tapp

Co-researchers : Gilles Brassard , Richard MacKenzie , Louis Salvail , Michel Boyer , Michael Hilke , Prakash Panangaden , Patrick Hayden , Claude Crépeau , David Poulin , Michel Pioro-Ladrière

Funding sources: FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)

Grant programs: PVXXXXXX-(RS) Programme de regroupements stratégiques