Hoare Logic and Model Checking: Cours de Part II (3ème année). Supervisions (entre deux entre une séance de TD et une colle de prépa).

• Outils de calcul pour les sciences: Similaire à 2019-2020.

• Informatique fondamentale 2: Similaire à 2020-2021.

• Logique pour l'informatique: Cours de logique en L2 informatique. Chargé de TP (Prolog).

• Introduction aux systèmes d'information: Introduction à la conception de systèmes d'informations, notamment de systèmes de bases de données. Chargé de TP (logiciel dédié).

• Outils de calcul pour les sciences : Similaire à 2019-2020.

• Informatique pour BGC : Similaire à 2019-2020.

• Informatique Fondamentale 2 : Informatique théorique en L3 informatique. Chargé de TD.

• Outils de calcul pour les sciences : Bases de calcul pour L1 Mathématiques, Informatique, Physique-Chimie. Format cours-TD.

• Informatique pour BGC : Introduction à l’informatique en L1 Biologie, Géologie, Chimie. Chargé de TD et de TP (javascript).

• Mathématiques pour l’informatique 2 : Algèbre linéaire en L2 informatique. Chargé de TD.

Durant mon M2 avec Rémy Cerda nous avons organisé et donné un séminaire/cours d’introduction à la théorie des catégories. Il était destiné à nos camarades de mathématique et d’informatique de l’ENS Lyon, le sujet n’y étant pas enseigné, tout en étant nécessaire pour une portion significative des cours de master.

Notre référence principale était le livre de Steve Awodey, et nous avons couvert la majorité des sujets catégoriques basiques à raison d’un cours de 2h par semaine pendant tout le semestre, préparé en alternance par Rémy et moi.

Nous travaillons toujours sur les notes de cours, dans l’idée d’en faire à terme un livre d’introduction au sujet en français.