Passer au contenu

/ La recherche

Je donne
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

Affiliations et responsabilités

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

Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes

Diplômé(e) : Pesant, Gilles
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1994

La théorie des catégories en informatique : notions de base et application

Diplômé(e) : Boucher, Dominique
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1991

Extraction de chaînes phonémiques à l'aide de modèles de Markov en reconnaissance automatique de la parole

Diplômé(e) : Millien, Evelyne
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1991

Modélisation de réactions émotives et application à la génération de récits

Diplômé(e) : Nault, Georges
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1990

Transformations de programmes logiques : Bases sémantiques et applications

Diplômé(e) : Tarau, Paul
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1990

Chronolog, un langage de représentation des connaissances temporelles

Diplômé(e) : St-Vincent, Pierre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1990

La conception de logiciels d'assistance dans un contexte d'apprentissage

Diplômé(e) : Bergeron, Anne
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1989

Méthodes d'échanges pour problèmes d'affectation

Diplômé(e) : Lavoie, Alain
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

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

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.

Personnes-ressource dans nos équipes
Qui fait quoi?
Formulaires, procédures et systèmes
Formulaires et procédures
Occasions de financement avec PIVOT
PIVOT