Michel Boyer
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt local 3347
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 de la vie Sciences pures et sciences appliquées Sciences de la santé
- Baccalauréat en bio-informatique – Sciences de la vie Sciences pures et sciences appliquées Sciences de la santé
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.
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.
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 :
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 :