Passer au contenu

/ La recherche

Je donne

Rechercher

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

514 343-7220

michel.boyer@umontreal.ca

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

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

Categorical quantum computation

Diplômé(e) : Paquette, Éric Oliver
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
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