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)
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Categorical quantum computation
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
Cycle : Doctorat
Diplôme obtenu : Ph. D.
La théorie des catégories en informatique : notions de base et application
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
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Modélisation de réactions émotives et application à la génération de récits
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Transformations de programmes logiques : Bases sémantiques et applications
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Chronolog, un langage de représentation des connaissances temporelles
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
La conception de logiciels d'assistance dans un contexte d'apprentissage
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Méthodes d'échanges pour problèmes d'affectation
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Projets
Projets de recherche
REGROUPEMENT STRATEGIQUE - INSTITUT TRANSDISCIPLINAIRE D'INFORMATIQUE QUANTIQUE (INTRIQ)
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.