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 local 3347

michel.boyer@umontreal.ca

514 343-7220

Web : Autre site web

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)
  • 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 pures et sciences appliquées Sciences de la santé Sciences de la vie
  • Baccalauréat en bio-informatique – Sciences pures et sciences appliquées Sciences de la santé Sciences de la vie

Cours donnés

  • IFT2935 Bases de données
  • IFT3550 Stage d'informatique 2

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.

Lien vers le document dans Papyrus

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.

Lien vers le document dans Papyrus

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

Nouvelles

Consultez cette fiche sur :