Passer au contenu

/ Department of Computer Science and Operations Research

Je donne

Rechercher

Michel Boyer

Vcard

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

Affiliations

  • Membre – INTRIQ — Institut transdisciplinaire d'information quantique

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.
Categorical quantum computation Thèses et mémoires dirigés / 2009 - 2009
Graduate : Paquette, Éric Oliver
Cycle : Doctoral
Grade : Ph. D.

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 : Michel Boyer , Gilles Brassard , Louis Salvail , Richard MacKenzie , Prakash Panangaden , Michael Hilke , 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

Browse this profile on: