Benoît Valiron: Teaching

J'enseigne présentement au sein du département d'informatique de l'école d'ingénieur CentraleSupélec, principalement sur le campus de Gif.

Cours enseignés actuellement

Introduction to Quantum Algorithms and Quantum Programming

Several variants of this course are being taught.

• As a course in the M1 QDCS curriculum
• As a course at CentraleSupélec
• As a course in the ArteQ program

You can find a set of lecture notes here containing the union of all of the material presented in the various courses I give. There are probably many typos, feel free to report them to me so that I can update the document.

Traitement des langages (depuis 2015)

Cours de majeure 3A pour la spécialité informatique du cursus Supelec.

Cours d'une 20aine d'heures. Sujet principal: les techniques de parseurs LL et LR. Aperçu rapide du fonctionnement général d'un compilateur.

Le contenu du cours est uniquement disponible sur moodle.

Application Web (depuis 2015)

Cours de mineure 3A, avec une instanciation en cours d'option dans le cursus Centrale, à Chatenay.

Cours d'une 20aine d'heures. Sujet: les technologies principales pour créer des applications Ajax. Le cours consiste en une série de TPs sur machine.

Le contenu du cours est disponible en ligne.

Cours passés

Enseignement en France, 2008-2015

• Jan-Mai 2015 : Chargé de cours en L3 à l'UFR d'informatique de l'Université Paris Diderot. Sujet: Compilation dans les machines virtuelles ocaml et java.
• Sep-Dec 2010 : Chargé de cours en licence pro à l'IUT Villetaneuse. Introduction à java. Site du cours.
• Sep-Dec 2009 : Chargé de cours en L3 à l'UFR d'informatique de l'UJF (Grenoble). L'unité d'enseignement d'intitule "Modélisation et Interopérabilité" et porte sur les technologies XML. Site du cours : INF356.
• Jan-Mai 2009 : TDs d'informatique à l'École Polytechnique (Palaiseau) pour le cours INF431.

In Canada, while graduate student

As lecturer

May-Jul 2007: MAT 1322 3X: Calculus II

As teaching Assistant

• Sep-Dec 2005: Mat 1720. Calcul différentiel et intégral I.
• Sep-Dec 2004: Mat 1719. Introduction au Calcul différentiel et intégral.
• Sep-Dec 2004: Mat 1723. Calcul différentiel et intégral pour les sciences de la vie I.
• Jan-Mar 2004: Mat 2761. Logique pour l'informatique.
• Sep-Dec 2003: Mat 1700. Méthodes mathématiques I.
• May-Jul 2003: Mat 2377. Probability and Statistics for Engineers.
• Jan-Mar 2003: Mat 2761. Logique pour l'informatique.
• Sep-Dec 2002: Mat 1722. Calcul différentiel et intégral II.