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
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
Enseignement
Cours siglés (session en cours uniquement)
Programmes
- 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
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.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2009
Categorical quantum computation
Diplômé(e) : Paquette, Éric Oliver
Cycle : Doctorat
Diplôme obtenu : Ph. D.
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.
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.
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.
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.
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.
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.
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.
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.
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
Co-chercheurs :
Gilles Brassard
,
Richard MacKenzie
,
Louis Salvail
,
Michel Boyer
,
Michael Hilke
,
Prakash Panangaden
,
Patrick Hayden
,
Claude Crépeau
,
David Poulin
,
Michel Pioro-Ladrière
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
Formulaires, procédures et systèmes
Occasions de financement avec PIVOT
