Michel Boyer
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt office 3347
Web : Autre site web
Affiliations
- Membre – INTRIQ — Institut transdisciplinaire d'information quantique
- Membre – LITQ — Laboratoire d’informatique théorique et quantique
Education Programs
- Information and Communication Technologies Fundamental and Applied Sciences
- Fundamental and Applied Sciences Information and Communication Technologies
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Fundamental and Applied Sciences
- Health Sciences Life Sciences Fundamental and Applied Sciences
- Health Sciences Life Sciences Fundamental and Applied Sciences
Courses
- IFT2935 Bases de données
Areas of Expertise
Responsabilities and outreach Expand all Collapse all
Activités au sein d’organismes ou d’entités de l’institution
Student supervision Expand all Collapse all
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems
Thèses et mémoires dirigés
/
2013
-
2013
Categorical quantum computation
Thèses et mémoires dirigés
/
2009
-
2009
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
Thèses et mémoires dirigés
/
1996
-
1996
La théorie des catégories en informatique : notions de base et application
Thèses et mémoires dirigés
/
1994
-
1994
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
Modélisation de réactions émotives et application à la génération de récits
Thèses et mémoires dirigés
/
1991
-
1991
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
La conception de logiciels d'assistance dans un contexte d'apprentissage
Thèses et mémoires dirigés
/
1990
-
1990
Méthodes d'échanges pour problèmes d'affectation
Thèses et mémoires dirigés
/
1989
-
1989
Research projects Expand all Collapse all
REGROUPEMENT STRATEGIQUE - INSTITUT TRANSDISCIPLINAIRE D'INFORMATIQUE QUANTIQUE (INTRIQ) Projet de recherche au Canada / 2011 - 2014
Lead researcher :
Alain Tapp
Co-researchers :
Gilles Brassard
,
Richard MacKenzie
,
Louis Salvail
,
Michel Boyer
,
Michael Hilke
,
Prakash Panangaden
,
Patrick Hayden
,
Claude Crépeau
,
David Poulin
,
Michel Pioro-Ladrière
Funding sources:
FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)
Grant programs:
PVXXXXXX-(RS) Programme de regroupements stratégiques
News
Browse this profile on: