- Director: mihaela.sighireanu [at] lsv.fr (Mihaela Sighireanu)
- 9 permanent teachers / researchers
- 8 temporary teachers / researchers
- 24 associate teachers / researchers
- 2 administrative and technical staff
This programme includes a one-year Bachelor's degree (L3) and two years of research Master's degree, generally within the framework of the Parisian Master's degree in computer science research (MPRI).
It also allows students to follow a mixed mathematics/computer science curriculum, with the possibility of taking the agrégation in computer science or mathematics.
- Year L3 with a choice of a Computer Science or Mathematics-Computer Science course and some courses at the ENS Paris.
- Year M1 at MPRI.
- M2 Research at the MPRI or in a master's degree validated by the institution.
- A fourth year of personalised research or preparation for the agrégation in Computer Science (in the department from the start of the academic year 2022) or Mathematics (in the Mathematics department).
They receive the ENS Paris-Saclay diploma by validating additional items.
Main subjects taught in the first and second years of study :
- Formal languages
- Computability and complexity
The department is affiliated for its research activities to the Laboratoire Méthodes Formelles (LMF).
The main research themes of its members are
- formal models for concurrency, critical, distributed and probabilistic systems
- symbolic verification algorithms
- security of information systems
- mechanised proof and proof of programs
- computation, programming languages and their compilation
- formal models for quantum computing, bioinformatics and artificial intelligence
- Université Paris Saclay for the L3 diploma and the research masters
- University of Paris, Paris Science et Lettres, Institut Polytechnique de Paris for the shared habilitation of the MPRI
- Participation of CNRS and INRIA researchers in MPRI courses