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
- Fundamental and Applied Sciences Information and Communication Technologies
- Fundamental and Applied Sciences Information and Communication Technologies
- Fundamental and Applied Sciences
- 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
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
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: