Level 1 modules aim at (1) covering a large area of computer science research,
and/or (2) giving a solid background for some theoretical and technical
level 2 modules. A module takes place on a semester (resp. half a semester)
and approximatively corresponds to 75 hours per student: 50 (resp. 25) hours of lessons and exercices and 25
(resp. 12.5) hours of personal works. It provides 6 (resp. 4) ECTS.
The M1 modules listed below are offered by ENS Paris (timetable) and ENS Paris-Saclay (timetable). They can be located at ENS Paris or ENS Paris-Saclay. The list below includes a title, a teacher in charge, a university and a link
to a description. As for level 2 modules, this list may evolve every year.
Subject to the approval of the Study Director, other courses can be integrated in the M1 study plan,
in particular ENS Paris-Saclay L3 courses and MPRI M2 modules (both count as MPRI ECTS)
as well as Paris Cité M1 modules (external ECTS).
| Cours | Titre du cours | Semestre | Nb. H | ECTS | Responsable(s) | Établissement |
| 1-17 | Advanced complexity | 1 | 60 | 7 | J. Goubault-Larrecq | ENS Paris-Saclay |
| 1-18 | Tree automata and applications | 1 | 30 | 4 | S. Schmitz | ENS Paris-Saclay |
| 1-19 | Robot motion planning | 1 | 60 | 7 | J.-P. Laumond | ENS Paris |
| 1-20 | Lambda-calculi and domains | 1 | 60 | 7 | P.-A. Melliès | ENS Paris |
| 1-22 | Basics of verification | 1 | 60 | 7 | S. Schwoon | ENS Paris-Saclay |
| 1-24 | Probabilistic aspects of computer science | 1 | 60 | 7 | S. Haddad | ENS Paris-Saclay |
| 1-31 | Software engineering | 1 | 60 | 7 | D. Baelde | ENS Paris-Saclay |
| 1-32 | Algorithmics and bioinformatics | 1 | 48 | 4+4 | S. Haar & T. Nowak | ENS Paris-Saclay |
| 1-33 | Rewriting techniques | 1 | 30 | 4 | F. Blanqui | ENS Paris-Saclay |
| 1-34 | Networks | 1 | 30 | 4 | M. Sighireanu | ENS Paris-Saclay |
| 1-35 | Introduction to Computer Vision | 1 | 60 | 7 | J. Ponce | ENS Paris |
| 1-36 | Initiation to research | 1 | 30 | 3 | Ph. Schnoebelen | ENS Paris-Saclay |
| 1-37 | Convex Optimization | 1 | 30 | 4 | A. d'Aspremont | ENS Paris |
| 1-37 | Combinatorial Optimization | 1 | 30 | 4 | Chien-Chung HUANG | ENS Paris |
| 1-39 | Logical aspects of artificial intelligence | 1 | 48 | 4+4 | S. Demri & M. Sighireanu | ENS Paris-Saclay |