Cours suivis

M2 LMFI

Cours suivis au Master de Logique Mathématique et Fondements de l'Informatique (LMFI) :

• Cours préliminaire de logique (automne 2023) par Patrick Simonetta
• Théorie des ensembles : introduction (automne 2023) par Alessandro Vignati
• Théorie des modèles : introduction (automne 2023) par Tomás Ibarlucía
• Théorie de la démonstration (automne 2023) par Thierry Joly
• Calculabilité et incomplétude (automne 2023) par Arnaud Durand
• Programmation fonctionnelle et preuves formelles en Coq (automne 2023) par Alexis Saurin
• Théorie des modèles : outils classiques (printemps 2024) par Sylvy Anscombe
• Géométrie o-minimale (printemps 2024) par Tamara Servi
• Théorie des ensembles : outils classiques (printemps 2024) par Boban Velickovic
• Équilibre stratégique en logique : jeux et modèles (printemps 2024) par Mirna Džamonja
• Preuves et programmes : outils classiques (printemps 2024) par Claudia Faggian et Gabriele Vanoni
• Quantification du second ordre et points fixes en logique (printemps 2024) par Alexis Saurin et Thomas Colcombet
• Calculabilité : outils classiques (printemps 2024) par Julien Cervelle
• Complexité de Kolmogorov (printemps 2024) par Julien Cervelle

Cours suivis au Master Histoire et Philosophie des Sciences (parcours LOGOS) :

• Philosophie de la logique mathématique : généralité, généricité et variabilité (printemps 2024) par Brice Halimi
  
  Descriptif du cours

  La métaphysique prétend faire la théorie de « toutes choses en général » et l'ontologie formelle prétend être la science du « quelque chose en général », ce qui présuppose la disponibilité des notions de « choses en général » et de « quelque chose en général ». Toutefois ces notions ne vont pas de soi ; elles ne sont ni primitives ni évidentes : telle est l'hypothèse que ce cours voudrait explorer, et en particulier que la généralité philosophique n'est pas séparable des formes que lui donnent les mathématiques.

  Le cours consistera en trois grandes parties. Après avoir distingué les deux dimensions de la généralité que sont l'intégralité (la visée de toutes choses) et la généricité (la visée d'une chose quelconque), on commencera par examiner la première (la « généralité absolue », c'est-à-dire la considération de toutes choses sans exception), en montrant que, tout autant que son rejet, elle donne lieu à des paradoxes. On introduira par là à la solidarité des grands registres d'emploi de la généralité que sont la philosophie, la logique et les mathématiques.

  On s'attachera ensuite à la notion de généricité, c'est-à-dire à celle d'objet quelconque, et à sa contrepartie formelle qu'est la notion de variable. Les métaphysiciens présupposent la possibilité de faire référence aux choses en général, sans prendre conscience du fait que forme du « quelque chose en général » qui semble délivrer cette possibilité est un instrument emprunté à la logique formelle, et en fait élaboré par la logique en lien avec les mathématiques. La deuxième partie du cours s'intéressera aux formes plurielles du générique qu'on trouve en mathématiques et à leur lien avec les figures philosophiques du général. Elle défendra l'idée que les premières sous-déterminent en partie les secondes, et soutiendra la priorité de la généricité sur l'intégralité.

  La troisième et dernière partie du cours portera sur les notions de variable et de variation. Si elles ont été disjointes par la logique moderne pour éviter toute confusion de la généralité avec un processus réel, des développements plus récents, ré-associant la logique et la géométrie, permettent de conjoindre de façon nouvelle ces deux notions. On en donnera quelques illustrations, en décrivant la façon dont la généralité peut être pensée en termes de déformation, en logique modale et en sémantique logique.

Cours suivis au Master Parisien de Recherche en Informatique (MPRI) :

• Modèles des langages de programmation : domaines, catégories et jeux (automne 2023) par Paul-André Melliès et Thomas Ehrhard

Cours suivis au Master des humanités de l'ENS de la rue d'Ulm : mondes anciens, archéologie et histoire :

• Égyptien hiéroglyphique 1 (automne 2023) par Elsa Oréal
  Descriptif du cours

  Ce cours d'initiation permet d'acquérir les bases nécessaires à la lecture de l'écriture hiéroglyphique. On abordera en parallèle les fondements de la grammaire de l'égyptien classique (langue du Moyen Empire dont l'usage s'est maintenu au-delà), dans une présentation synthétique permettant d'appliquer rapidement ces connaissances à de courts exemples. Dès le second semestre, des textes simples pourront être étudiés. Au terme de cette année, l'étudiant sera ainsi en mesure de poursuivre l'apprentissage par lui-même ou de suivre un enseignement plus avancé.

• Égyptien hiéroglyphique 2 (printemps 2024) par Elsa Oréal
  Descriptif du cours

  Le cours fait suite à l'enseignement d'égyptien hiéroglyphique 1. Les points de grammaire qui n'ont pas été abordés pendant la première année seront expliqués au fil de la lecture de textes en égyptien classique qui feront l'objet d'une translittération et d'une traduction suivies. Au terme de cette année complémentaire, l'objectif est d'avoir parcouru l'ensemble des formes et constructions fondamentales de la grammaire nécessaires pour aborder un document en moyen égyptien.

M2 ENS de Lyon

Cours suivis au Département d'informatique de l'ENS de Lyon :

• (CR02) Polynômes en combinatoire et en théorie de la complexité par Stéphan Thomassé et Pascal Koiran
• (CR06) Technologies de virtualisation : design et implémentation par Alain Tchana
• (CR09) Preuves interactives and non interactives en complexité et en cryptographie par Alain Passelègue et Geoffroy Couteau
• (CR10) Cryptographie post-quantique par Thomas Debris-Alazard, Damien Stehlé et Benjamin Wesolowski
• (CR11) Méthodes algébriques et correction de programmes, graphes et automates par Amina Doumane, Damien Pous et Georg Struth
• (CR12) Preuves aidées par ordinateur et exploration combinatoire par Michaël Rao et Pascal Ochem
• (CR13) Décompositions de graphe par Stéphan Thomassé et Édouard Bonnet
• (CR14) Analyse statique pour l'optimisation des compilateurs par Christophe Alias, Laure Gonnord et Yannick Zakowski
• (CR16) Vérification de programmes par co-induction et assistants de preuve par Damien Pous et Yannick Zakowski
• (CR18) Systèmes d'exploitation avancé par Jean-Marc Menaud

M1 ENS de Lyon

Cours suivis au Département d'informatique de l'ENS de Lyon :

• Programmation parallèle et algorithmes distribués (automne 2021) par Anne Benoit
• Informatique quantique (automne 2021) par Omar Fawzi
• Compilation et analyse de programmes (automne 2021) par Gabriel Radanne
• Performance et évaluation (automne 2021) par Eric Thierry
• Optimisation et approximation (automne 2021) par Elisa Riccietti
• Projet intégré (partie 1) (automne 2021) par Alain Tchana et Michaël Rao
• Géométrie computationnelle et images numériques (printemps 2022) par Vincent Nivoliers et David Coeurjolly
• Complexité algorithmique (printemps 2022) par Pascal Koiran
• Preuves et programmes (printemps 2022) par Colin Riba : correspondance de Curry-Howard, logique intuitionniste, polymorphism
• Sémantique et vérification (printemps 2022) par Colin Riba : treillis, Logique temporelle linéaire, dualité de Stone, bissimulation, logique modale
• Cryptographie et sécurité (printemps 2022) par Alain Passelègue
• Apprentissage automatique (printemps 2022) par Elisa Riccietti
• Projet intégré (partie 2) (printemps 2022) par Alain Tchana et Michaël Rao

Cours suivis au Département de mathématique de l'ENS de Lyon :

• Théorie des ensembles et théorie des modèles (printemps 2022) par Frank Olaf Wagner

Cours suivis au Département de physique de l'ENS de Lyon :

• Mécanique quantique avancée (automne 2021) par Aldo Deandrea : diffusion, matrice densité, symétries, équation de Dirac
• Électrodynamique et théorie classique des champs (automne 2021) par Dimitrios Tsimpis
• Astrophysique (automne 2022) par Jean-François Gonzalez : objets et échelles dans l'universe, moyens d'observation, physique des étoiles (structure, production et transport d'énergie, formation, évolution, etc), physique des galaxies (morphologie, dynamique, structure spirale, etc), introduction à la cosmologie

L3 ENS de Lyon

Cours suivis au Département d'informatique de l'ENS de Lyon :

• Théorie de la programmation (automne 2020) par Daniel Hirschkoff : théorie de la sémantique des langages de programmation
• Fondements de l'informatique (automne 2020) par Pascal Koiran : théorie des langages formels (automates, grammaires formelles, machines de Turing, hiérarchie de Chomsky) theorie de la calculabilité (fonctions primitives récursives, fonctions μ-recursives)
• Algorithmie 1 (automne 2020) par Yves Robert : théorie des paradigmes algorithmiques, théorie des matroïdes, algorithmes d'approximation
• Architecture, système et réseau 1 (automne 2020) par Florent de Dinechin : architecture processeur, architecture mémoire, réseau informatique
• Langages de programmation (automne 2020) par Eddy Caron : les langages de programmation dans tous leurs états
• Algorithmie 2 (automne 2021) par Anne Benoit : Théorie des graphes et réseaux de flot
• Architecture, système and réseau 2 (automne 2021) par Alain Tchana : Système d'exploitation Linux (espace utilisateur, espace noyau et d'autres choses complètement folles)
• Logique (printemps 2021) par Natacha Portier : modèles, séquents, incomplétude, élimination des quanteurs dans les corps algrébriquement clos
• Préparation pour les compétitions ACM (printemps 2021) par Eric Thierry
• Théorie des probabilités (printemps 2021) par Yves Robert
• Projet de programmation fonctionnelle (printemps 2021) par Daniel Hirschkoff : interpréteur OCaml codé en… OCaml (lexeur, parseur, évaluation, typage)

Cours suivis au Département de mathématique de l'ENS de Lyon :

• Algèbre 1 (automne 2020) par François Brunault : dualité, formes bilinéaires, formes quadratiques, groupes et représentations, décomposition polaire
• Algèbre 2 (printemps 2021) par Laurent Berger : anneaux, extensions de corps, théorie de Galois

Cours suivis au Département de physique de l'ENS de Lyon :

• Mécanique quantique (automne 2020) par Benjamin Huard
• Mécanique analytique et relativité restreinte (automne 2020) par Dimitrios Tsimpis
• Électromagnétisme (printemps 2021) par Jérémy Ferrand