Michel Boyer
- Professeur agrégé
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt, room 3347
Affiliations and responsabilities
Research affiliations
University service and activities
Activities within organizations or entities of the institution
- Membre du Laboratoire d'informatique théorique et quantique
Teaching and supervision
Teaching
Courses taught (current session only)
Programs
- 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
Student supervision
Theses and dissertation supervision (Papyrus Institutional Repository)
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
Cycle : Doctoral
Grade : Ph. D.
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
Cycle : Doctoral
Grade : Ph. D.
La théorie des catégories en informatique : notions de base et application
Cycle : Master's
Grade : M. Sc.
Extraction de chaînes phonémiques à l'aide de modèles de Markov en reconnaissance automatique de la parole
Cycle : Master's
Grade : M. Sc.
Modélisation de réactions émotives et application à la génération de récits
Cycle : Master's
Grade : M. Sc.
Transformations de programmes logiques : Bases sémantiques et applications
Cycle : Doctoral
Grade : Ph. D.
Chronolog, un langage de représentation des connaissances temporelles
Cycle : Master's
Grade : M. Sc.
La conception de logiciels d'assistance dans un contexte d'apprentissage
Cycle : Doctoral
Grade : Ph. D.
Méthodes d'échanges pour problèmes d'affectation
Cycle : Master's
Grade : M. Sc.
Projects
Research projects
REGROUPEMENT STRATEGIQUE - INSTITUT TRANSDISCIPLINAIRE D'INFORMATIQUE QUANTIQUE (INTRIQ)
Disciplines
- Computer Science
Areas of expertise
- Quantum computing
- Theoretical computer science
- Quantum key distribution protocols
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.