Our areas of expertise are:
- algorithms,
- computational models and their complexity,
- computer logic and computer-aided proof methods,
- formal modeling and verification.
Research Partners
The DER in Computer Science is affiliated with the Laboratory of Formal Methods (LMF, UMR 9021).
Students also complete their internships in various laboratories located throughout France (Amiens, Bordeaux, Caen, Grenoble, Lille, Lyon, Marseille, Montpellier, Nancy, Paris, Rennes, Strasbourg) and abroad (the European Union, Great Britain, Southeast Asia, the United States, Canada, Australia, etc.)
Training Partners
The programs are accredited by Paris-Saclay University and offered in partnership with other universities in the Île-de-France region:
- ENS PSL: for the Parisian Master’s in Computer Science Research
- CNAM: the Master’s in Higher Education Training (preparation for the agrégation)
- Sorbonne University: for the Master’s in Higher Education Training (preparation for the agrégation)
- Paris-Cité University: for the Parisian Master’s in Computer Science Research and the Master’s in Higher Education Training (preparation for the agrégation)
- Paris-Saclay University: for the Computer Science Specialization and the LDD in Computer Science and Mathematics