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
- 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.
1996
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
Graduate : Pesant, Gilles
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
1994
La théorie des catégories en informatique : notions de base et application
Graduate : Boucher, Dominique
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
1991
Extraction de chaînes phonémiques à l'aide de modèles de Markov en reconnaissance automatique de la parole
Graduate : Millien, Evelyne
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
1991
Modélisation de réactions émotives et application à la génération de récits
Graduate : Nault, Georges
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
1990
Transformations de programmes logiques : Bases sémantiques et applications
Graduate : Tarau, Paul
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
1990
Chronolog, un langage de représentation des connaissances temporelles
Graduate : St-Vincent, Pierre
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
1990
La conception de logiciels d'assistance dans un contexte d'apprentissage
Graduate : Bergeron, Anne
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
1989
Méthodes d'échanges pour problèmes d'affectation
Graduate : Lavoie, Alain
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
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