The following units (provided in English) are offered in the first semester of M1.

In addition to the mandatory units (English or French for foreigners, integrated project 1), students should validate at least 4 units.

• Optimization & Approximation (6 ECTS)
• Quantum Computer Science (6 ECTS)
• Parallel and Distributed Algorithms and Programs (6 ECTS)
• Compilers and Program Analysis (6 ECTS)
• Performance Evaluation (6 ECTS)
• Integrated Project, part 1 (3 ECTS)

The following units are offered in the second semester of M1.

In addition to the mandatory units (English or French for foreigners, integrated project 2) and the research internship, students should validate at least 4 units.

• Computer Algebra (3 ECTS)
• Computational Complexity (3 ECTS)
• Distributed Systems (3 ECTS)
• Fundamentals of Machine Learning (3 ECTS)
• Data Bases and Data Mining (3 ECTS)
• Computational Geometry and Digital Images (3 ECTS)
• Proofs and Programs (3 ECTS)
• Semantics and Verification (3 ECTS)
• Cryptography and Security (3 ECTS)
• Integrated Project, part 2 (3 ECTS)

An internship of 12 weeks must be validated, and brings 12 ECTS. The internship should be a research internship, abroad and/or in a company.