Michel Boyer
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt local 3347
Web : Autre site web
Affiliations
- Membre – INTRIQ — Institut transdisciplinaire d'information quantique
- Membre – LITQ — Laboratoire d’informatique théorique et quantique
Programmes d’enseignement
- Baccalauréat en informatique – Technologies de l'information (TIC) Sciences pures et sciences appliquées
- Majeure en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
- Baccalauréat en mathématiques et informatique – Sciences pures et sciences appliquées
- Baccalauréat en mathématiques et informatique – Sciences pures et sciences appliquées
- Baccalauréat en physique et informatique – Sciences pures et sciences appliquées
- Baccalauréat en physique et informatique – Sciences pures et sciences appliquées
- Baccalauréat en bio-informatique – Sciences de la vie Sciences pures et sciences appliquées Sciences de la santé
- Baccalauréat en bio-informatique – Sciences de la vie Sciences pures et sciences appliquées Sciences de la santé
Cours donnés
- IFT2935 Bases de données
Expertises
Responsabilités et rayonnement Tout déplier Tout replier
Activités au sein d’organismes ou d’entités de l’institution
- Membre du Laboratoire d'informatique théorique et quantique
Encadrement Tout déplier Tout replier
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems
Thèses et mémoires dirigés
/
2013
-
2013
Diplômé(e) : Sabas, Arsène
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Categorical quantum computation
Thèses et mémoires dirigés
/
2009
-
2009
Diplômé(e) : Paquette, Éric Oliver
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
Thèses et mémoires dirigés
/
1996
-
1996
Diplômé(e) : Pesant, Gilles
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
La théorie des catégories en informatique : notions de base et application
Thèses et mémoires dirigés
/
1994
-
1994
Diplômé(e) : Boucher, Dominique
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Extraction de chaînes phonémiques à l'aide de modèles de Markov en reconnaissance automatique de la parole
Thèses et mémoires dirigés
/
1991
-
1991
Diplômé(e) : Millien, Evelyne
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Modélisation de réactions émotives et application à la génération de récits
Thèses et mémoires dirigés
/
1991
-
1991
Diplômé(e) : Nault, Georges
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Transformations de programmes logiques : Bases sémantiques et applications
Thèses et mémoires dirigés
/
1990
-
1990
Chronolog, un langage de représentation des connaissances temporelles
Thèses et mémoires dirigés
/
1990
-
1990
Diplômé(e) : St-Vincent, Pierre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
La conception de logiciels d'assistance dans un contexte d'apprentissage
Thèses et mémoires dirigés
/
1990
-
1990
Diplômé(e) : Bergeron, Anne
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Méthodes d'échanges pour problèmes d'affectation
Thèses et mémoires dirigés
/
1989
-
1989
Diplômé(e) : Lavoie, Alain
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Projets de recherche Tout déplier Tout replier
REGROUPEMENT STRATEGIQUE - INSTITUT TRANSDISCIPLINAIRE D'INFORMATIQUE QUANTIQUE (INTRIQ) Projet de recherche au Canada / 2011 - 2014
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
Nouvelles
Consultez cette fiche sur :