Passer au contenu

/ Département d'informatique et de recherche opérationnelle

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

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
  • Fundamental and Applied Sciences Health Sciences Life Sciences
  • Fundamental and Applied Sciences Health Sciences Life 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.
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 : 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

News

Browse this profile on: