Warning: the course offer for the academic year 2025-2026 will be slightly different. Up to date information will be available during the summer 2025.

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)

Warning: the course offer for the academic year 2025-2026 will be slightly different. Up to date information will be available during the summer 2025.

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.