Passer au contenu

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

Rechercher

Michel Boyer

Vcard

Professeur agrégé

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

André-Aisenstadt local 3347

michel.boyer@umontreal.ca

514 343-7220

Affiliations

  • Membre – INTRIQ — Institut transdisciplinaire d'information quantique

Programmes d’enseignement

  • Baccalauréat en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
  • Majeure en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
  • Mineure en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
  • Baccalauréat en mathématiques et informatique – Sciences pures et sciences appliquées
  • Baccalauréat en mathématiques et informatique – Sciences pures et sciences appliquées
  • Baccalauréat en physique et informatique – Sciences pures et sciences appliquées
  • Baccalauréat en physique et informatique – Sciences pures et sciences appliquées
  • Baccalauréat en bio-informatique – Sciences pures et sciences appliquées Sciences de la santé Sciences de la vie
  • Baccalauréat en bio-informatique – Sciences de la santé Sciences de la vie Sciences pures et sciences appliquées
  • Baccalauréat en bio-informatique – Sciences de la santé Sciences de la vie Sciences pures et sciences appliquées

Cours donnés

  • IFT1215 Introduction aux systèmes informatiques

Expertises

Responsabilités et rayonnement Tout déplier Tout replier

Activités au sein d’organismes ou d’entités de l’institution
  • Membre du Laboratoire d'informatique théorique et quantique

Encadrement Tout déplier Tout replier

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems Thèses et mémoires dirigés / 2013 - 2013
Diplômé(e) : Sabas, Arsène
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Categorical quantum computation Thèses et mémoires dirigés / 2009 - 2009
Diplômé(e) : Paquette, Éric Oliver
Cycle : Doctorat
Diplôme obtenu : Ph. D.

Projets de recherche Tout déplier Tout replier

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

Chercheur principal : Alain Tapp
Co-chercheurs : Michel Boyer , Gilles Brassard , Louis Salvail , Richard MacKenzie , Prakash Panangaden , Michael Hilke , Patrick Hayden , Claude Crépeau , David Poulin , Michel Pioro-Ladrière
Sources de financement : FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)
Programmes de subvention : PVXXXXXX-(RS) Programme de regroupements stratégiques

Consultez cette fiche sur :