Natural Sciences and Engineering
Michel Boyer
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt, room 3347
Profile
Affiliations and responsabilities
Research affiliations
University service and activities
Activities within organizations or entities of the institution
- Membre du Laboratoire d'informatique théorique et quantique
Teaching and supervision
Teaching
Courses taught (current session only)
Programs
- 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
- 146810 – Baccalauréat en bio-informatique
- 146811 – Baccalauréat en bio-informatique
- 146811 – Baccalauréat en bio-informatique
Student supervision
Theses and dissertation supervision (Papyrus Institutional Repository)
2013
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
Graduate : Sabas, Arsène
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
Projects
Research projects
2011
- 2014
REGROUPEMENT STRATEGIQUE - INSTITUT TRANSDISCIPLINAIRE D'INFORMATIQUE QUANTIQUE (INTRIQ)
Lead researcher :
Alain Tapp
Co-researchers :
Gilles Brassard
,
Richard MacKenzie
,
Louis Salvail
,
Michel Boyer
,
Michael Hilke
,
Prakash Panangaden
,
Patrick Hayden
,
Claude Crépeau
,
David Poulin
,
Michel Pioro-Ladrière
Funding sources:
FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)
Grant programs:
PVXXXXXX-(RS) Programme de regroupements stratégiques
Outreach
Publications and presentations
Disciplines
- Computer Science
Areas of expertise
- Quantum computing
- Theoretical computer science
- Quantum key distribution protocols