Informations M2 – 2019/2020

General Outline

The Master 2 in Computer Science is composed of research courses (CR)  from September 9, 2019 to January 20, 2020, followed by an internship from January 23 to June 15, 2020. Each course corresponds to 30 hours (typically 2 hours per week during 15 weeks, except for special courses). See details below.

Latest Information

Updated schedule and latest info will be available on the read-only password-protected pad :

passwd: m2info19

List of Courses (for full description follow the link CRxx):

  • CR01: Cryptanalysis, Elena Kirshanova and Guillaume Hanrot (ENS Lyon)
  • CR02: Hardware compilation and simulation, Christophe Alias and Matthieu Moy (ENS Lyon)
  • CR03: Combinatorial scientific optimization, Bora Ucar, Fanny Dufossé (ENS Lyon, Grenoble)
  • CR04: Advanced topics in semantics of programming language, Pierre Clairambault and Colin Riba (ENS Lyon)
  • CR05: Automated deduction, and opening to distributed algorithms, Xavier Urbain and Sébastien Tixeuil (Lyon 1, Paris)
  • CR06: Machine learning, Aurélien Garivier (ENS Lyon)
  • CR07Network Information Theory, Jean-Marie Gorce and Samir Perlaza (INSA Lyon)
  • CR08: Graph-based knowledge representation (for complex systems and graph databases), Angela Bonifati and Russ Harmer (Lyon 1, ENS Lyon)
  • CR09: Hidden Markov models for time series classification and filtering, Stéphane Derrode (Centrale Lyon)
  • CR10: Data aware algorithms, Loris Marchal (ENS Lyon)
  • CR11: Modern algorithms for symbolic summation and integration, Bruno Salvy, Gilles Villard and Alin Bostan (ENS Lyon, Inria Saclay)
  • CR12: Parameterized and exact algorithms, Édouard Bonnet and Rémi Watrigant (ENS Lyon
  • CR13: Quantum information and computation, Guillaume Aubrun, Andre Chailloux and Omar Fawzi (ENS Lyon) (Lyon 1, Inria Paris, ENS Lyon)
  • CR14: Numerical methods for computer graphics, Julie Digne and Nicolas Bonneel (Lyon 1)
  • CR15: Advanced Topics in Cryptography, Alain Passelègue (ENS Lyon)
  • CR16: To be provided (ENS Lyon)

Special courses: There are 3 special courses (SCR). The special courses also last 30 hours but instead of having 2 hours per week, they run for 6 hours on Thursdays. Hence each special course runs in ‘compressed form’ for 5 Thursdays of the semester, 6 hours each, and every third Thursday in average. See the pad for the detailed schedule.

  • SCR01: Molecular programming, Nicolas Schabanel (ENS Lyon)
  • SCR02: Mathematical modeling and the numerical simulation of complex mechanical objects, Florence Bertails-Descoubes (Grenoble)
  • SCR03: Topological combinatorics, Frédéric Meunier and Matěj Stehlík (Paris, Grenoble)

Pre-course Meeting: A pre-course meeting will take place on Monday, September 9, 2019 at 9.30am, Amphi B. Attendance to this meeting is mandatory for all students. The general organization of the year and a description of the courses will be provided. Courses start on Monday, September 9, at 1:30pm.

Training Period: A mandatory training period takes place from Monday, January 23 up to mid June. An information session about topics and locations for the training period will be organized in September. Basically, the goal is to research in a laboratory (anywhere on earth), write a report and make an oral presentation in the end.

Schedule: Courses start September 9 at 1:30pm. Autumn holidays are October 28-November 3. Winter holidays are December 23-January 5. Exams will be held on week 3 (starting Monday Jan. 13), for a subset of courses. Again, the detailed weekly schedule will be available on the Inria pad mentioned above. This pad will be updated on a regular basis, check it often.

Rules of the Game: To obtain their degree, CS Master students must complete 60 credits including the internship (30 credits) and four courses (5 credits each) in the above list of CR1 to CR18. To summarize, there are 50 mandatory credits out of 60 and 10 remaining credits that can be picked elsewhere. While a typical choice by many students is 6 CR courses and the internship, the extra courses for the 10 remaining credits can be chosen elsewhere,  e.g. CS courses in the M2 offered by Univ. Lyon 1, or courses from other ENS departments.

Complex Systems: There is an orientation ‘Complex Systems’ that provides a multi-disciplinary choice. See details at

for course offering. For the validation, the rules of the game apply, so students can pick 10 credits from complex systems courses. Note that ‘Complex Systems’ is an orientation, not a separate M2. The only diploma delivered by ENS Lyon is M2 Informatique Fondamentale, and computer science must remain at the heart of the curriculum. In particular, the training period must be oriented towards research in core computer science (possibly applied to other disciplines).

Formal Validation: To meet the quality requirements of our program, all course choices must be approved by the academic tutor and the head of the Master 2 program. Administrative registration to chosen courses is mandatory and takes place in late September, after a trial period.

Please refer to the rules of the Master here

Contact: Yves Robert

Program analysis and systems verification

Contents of the course

  • Ordered structures and Topologies. Scott domains. Denotational and Axiomatic semantics. Abstract interpretation.
  • Principles of model-checking. kripke structures and Büchi automata. Temporal logics (LTL, CTL, …).

Practical matters related to the organisation of the course will be presented at the first course.

People in charge:


Contents of the course

This course aims to present the networking basics, through three different aspects: architecture/protocols, algorithms, and performance evaluation. It focuses on the Internet architecture and its protocol for a part, and on the methodology and mathematical tools used in performance evaluation.

The different lectures are:

  • Principles and architecture of computer networks
  • Medium Access Control algorithm
  • The IP protocol and the Internet
  • Statistical methods used in performance evaluation
  • Performance evaluation of wireless networks
  • Routing
  • Transport protocols (TCP and its performance)


  •  Sit down examination
  • Workshop/labs or supervised project

Teaching Personnel