Passer au contenu

/ Research

Je donne

Rechercher

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

514 343-7220

michel.boyer@umontreal.ca

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

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.
2009

Categorical quantum computation

Graduate : Paquette, Éric Oliver
Cycle : Doctoral
Grade : Ph. D.

Projects

Research projects

2011 - 2014

REGROUPEMENT STRATEGIQUE - INSTITUT TRANSDISCIPLINAIRE D'INFORMATIQUE QUANTIQUE (INTRIQ)

Lead researcher : Alain Tapp
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