Michel Boyer

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
Membre – LITQ — Laboratoire d’informatique théorique et 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

Cours donnés

IFT2935 Bases de données

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