Attended courses

M2 LMFI

Courses from the Master's in Mathematical Logic and Foundations of Computer Science (LMFI):

• Preliminary logic course (Fall 2023) by Patrick Simonetta
• Set theory: introduction (Fall 2023) by Alessandro Vignati
• Model theory: introduction (Fall 2023) by Tomás Ibarlucía
• Proof theory (Fall 2023) by Thierry Joly
• Computability and incompleteness (Fall 2023) by Arnaud Durand
• Functional programming and formal proofs in Coq (Fall 2023) by Alexis Saurin
• Model theory: classical tools (Spring 2024) by Sylvy Anscombe
• o-minimal geometry (Spring 2024) by Tamara Servi
• Set theory: classical tools (Spring 2024) by Boban Velickovic
• Strategic equilibrium in logic: games and models (Spring 2024) by Mirna Džamonja
• Proofs and programs: classical tools (Spring 2024) by Claudia Faggian and Gabriele Vanoni
• Second-order quantification and fixed points in logic (Spring 2024) by Alexis Saurin and Thomas Colcombet
• Computability: classical tools (Spring 2024) by Julien Cervelle
• Kolmogorov complexity (Spring 2024) by Julien Cervelle

Courses from the Master's degree in History and Philosophy of Science (LOGOS course):

• philosophy of mathematical logic: generality, genericity and variability (Spring 2024) by Brice Halimi
  
  Course description

  Metaphysics claims to be the theory of "all things in general", formal ontology claims to be the science of "something in general". Are the notions of "things in general" or "something in general" primitive and self-evident? This course would like to explore the contrary hypothesis, and in particular that philosophical generality is not separable from the forms given to it by mathematics.

  The course will consist of three main parts. After distinguishing between the two dimensions of generality, i.e. integrality (the consideration of all things) and genericity (the consideration of any one thing), we shall begin by examining the first (the "absolute generality", i.e. the consideration of all things without exception), by showing that, as much as its rejection, it gives rise to paradoxes. We will then introduce the solidarity of the great registers of use of generality that are philosophy, logic and mathematics.

  We will then focus on the notion of genericity, i.e. the notion of any object, and its formal counterpart, the notion of variable. Metaphysicians presuppose the possibility of referring to things in general, without realizing that the form of "something in general" that seems to deliver this possibility is an instrument borrowed from formal logic, and in fact elaborated by logic in connection with thematics. The second part of the course will be interested in the plural forms of the generic found in mathematics and in their link with the philosophical figures of the general. It will defend the idea that the former partly under-determine the latter, and will argue for the priority of genericity over completeness.

  The third and last part of the course will deal with the notions of variable and variation. If they have been disjoined by modern logic in order to avoid any confusion of generality with a real process, more recent developments, reassociating logic and geometry, allow to join these two notions in a new way. We will give some illustrations, by describing the way generality can be thought of in terms of deformation, in modal logic and in logical semantics.

Courses from the Parisian Master of Research in Computer Science (MPRI):

• Models of programming languages: domains, categories and games (Fall 2023) by Paul-André Melliès and Thomas Ehrhard

Courses from the ENS Ulm Master of humanities: ancient worlds, archaeology and history:

• Hieroglyphic Egyptian 1 (Fall 2023) by Elsa Oréal
  Course description

  This introductory course provides the basic knowledge needed to read hieroglyphic script. At the same time, the fundamentals of classical Egyptian grammar (the language of the Middle Kingdom, whose use has continued beyond) will be covered, in a synthetic presentation that enables this knowledge to be quickly applied to short examples. Simple texts can be studied from the second semester onwards. At the end of the year, students will be in a position to continue learning on their own, or to take more advanced courses.

• Hieroglyphic Egyptian 2 (Spring 2024) by Elsa Oréal
  Course description

  The course follows on from Hieroglyphic Egyptian 1. Points of grammar not covered in the first year will be explained through the reading of texts in classical Egyptian, which will be the subject of ongoing transliteration and translation. At the end of this complementary year, the aim is to have covered all the fundamental grammatical forms and constructions required to approach a document in Middle Egyptian. Translated with DeepL.com (free version)

M2 ENS de Lyon

Courses from the Computer Science department:

• (CR02) Polynomials in combinatorics and in complexity theory by Stéphan Thomassé and Pascal Koiran
• (CR06) Virtualization technologies: design and implementation by Alain Tchana
• (CR09) Interactive and non-interactive proofs in complexity and cryptography by Alain Passelègue and Geoffroy Couteau
• (CR10) Post-quantum cryptography by Thomas Debris-Alazard, Damien Stehlé and Benjamin Wesolowski
• (CR11) Algebraic methods and program correctness, graphs and automata by Amina Doumane, Damien Pous and Georg Struth
• (CR12) Computer-aided proofs and combinatorial exploration by Michaël Rao and Pascal Ochem
• (CR13) Graph decompositions by Stéphan Thomassé and Édouard Bonnet
• (CR14) Static analysis for optimizing compilers by Christophe Alias, Laure Gonnord and Yannick Zakowski
• (CR16) Program verification with coinduction and proof assistants by Damien Pous and Yannick Zakowski
• (CR18) Advanced Systems by Jean-Marc Menaud

M1 ENS de Lyon

Courses from the Computer Science department:

• Parallel and distributed algorithms and programming (Fall 2021) by Anne Benoit
• Quantum computer science (Fall 2021) by Omar Fawzi
• Compilation and program analysis (Fall 2021) by Gabriel Radanne
• Performance and evaluation (Fall 2021) by Eric Thierry
• Optimization and approximation (Fall 2021) by Elisa Riccietti
• Integrated project (part 1) (Fall 2021) by Alain Tchana and Michaël Rao
• Computational geometry and digital images (Spring 2022) by Vincent Nivoliers and David Coeurjolly
• Computational complexity (Spring 2022) by Pascal Koiran
• Proofs and programms (Spring 2022) by Colin Riba: Curry-Howard correspondence, intuitionistic logic, polymorphism
• Semantics and verification (Spring 2022) by Colin Riba: lattice, linear temporal logic, Stone duality, bissimulation, modal logic
• Cryptography and security (Spring 2022) by Alain Passelègue
• Machine learning (Spring 2022) by Elisa Riccietti
• Integrated project (part 2) (Spring 2022) by Alain Tchana and Michaël Rao

Courses from the Mathematics department:

• Set theory and model theory (Spring 2022) by Frank Olaf Wagner

Courses from the Physics department:

• Advanced quantum mechanics (Fall 2021) by Aldo Deandrea: diffusion, density matrix, symmetries, Dirac equation
• Electrodynamics and classical field theory (Fall 2021) by Dimitrios Tsimpis:
• Astrophysics (Spring 2022) by Jean-François Gonzalez: objects and Scales in the Universe, means of observation, physics of stars (structure, production and transport of energy, formation, evolution, etc), physics of galaxies (morphology, dynamics, spiral structure, etc), introduction to cosmology

L3 ENS de Lyon

Courses from the Computer Science department:

• Programming theory (Fall 2020) by Daniel Hirschkoff: theory of semantics of programming languages
• Computer science fundations (Fall 2020) by Pascal Koiran: formal language theory (automata, formal grammar, Turing machine, Chomsky hierarchy) and computability theory (μ-recursive functions)
• Algorithmics 1 (Fall 2020) by Yves Robert: algorithmic paradigm theory, matroid theory, approximation theory
• Architecture, system and network 1 (Fall 2020) by Florent de Dinechin: processor architecture, memory architecture, computer network
• Programming languages (Fall 2020) by Eddy Caron: all programming languages in all their states
• Algorithmics 2 (Spring 2021) by Anne Benoit: graph theory and flow network theory
• Architecture, system and network 2 (Spring 2021) by Alain Tchana: linux operating system (user space, kernel space and other crazy stuff)
• Logic (Spring 2021) by Natacha Portier: models, sequents, incompleteness, elimination in algebraically closed fields
• Preparation for ACM competitions (Spring 2021) by Eric Thierry
• Probability theory (Spring 2021) by Yves Robert
• Functional programming project (Spring 2021) by Daniel Hirschkoff: OCaml interpreter coded in… OCaml (lexer, parser, evaluation, typing)

Courses from the Mathematics department:

• Algebra 1 (Fall 2020) by François Brunault: duality, bilinear forms, quadratic forms, representations and groups, polar decomposition
• Algebra 2 (Spring 2021) by Laurent Berger: rings, field extension, Galois theory

Courses from the Physics department:

• Quantum mechanics (Fall 2020) by Benjamin Huard
• Analytical mechanics and special relativity (Fall 2020) by Dimitrios Tsimpis
• Electromagnetism (Spring 2021) by Jérémy Ferrand