Sciences naturelles et génie
Michel Boyer
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt, local 3347
Portrait
Affiliations et responsabilités
Affiliations de recherche
Contribution au fonctionnement de l’institution
Activités au sein d’organismes ou d’entités de l’institution
- Membre du Laboratoire d'informatique théorique et quantique
Enseignement et encadrement
Enseignement
Cours siglés (session en cours uniquement)
Programmes
- 117510 – Baccalauréat en informatique
- 117520 – Majeure en informatique
- 119110 – Baccalauréat en mathématiques et informatique
- 119110 – Baccalauréat en mathématiques et informatique
- 120510 – Baccalauréat en physique et informatique
- 120510 – Baccalauréat en physique et informatique
- 146811 – Baccalauréat en bio-informatique
- 146811 – Baccalauréat en bio-informatique
Encadrement
Thèses et mémoires dirigés (dépôt institutionnel Papyrus)
2013
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
Diplômé(e) : Sabas, Arsène
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2009
Categorical quantum computation
Diplômé(e) : Paquette, Éric Oliver
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Projets
Projets de recherche
2011
- 2014
REGROUPEMENT STRATEGIQUE - INSTITUT TRANSDISCIPLINAIRE D'INFORMATIQUE QUANTIQUE (INTRIQ)
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
Rayonnement
Publications et communications
Disciplines
- Informatique
Champ d’expertise
- Calcul quantique
- Informatique théorique
- Protocole de distribution quantique de clés
Aide en ligne pour votre profil | Nous joindre
Le Répertoire des professeurs est propulsé par les données du SADVR et est un projet du CENR.