Teaching 2019-2020

Cours - Lectures

  • Master in Computer Science - Data Science (Master par alternance)
    1st year of professional master - Modelling and analysis of software
  • L3 - MIAGE
    Software engineering
  • Master in Computer Science - FIIL
    2nd year master - Functionnal Testing of Protocols
  • Master in Computer Science - FIIL and Data Science
    1st year and 2st year - Advanced Web Programming

Past Teaching


  • Formal Methods
    (Transitions Systems, Communicating automata, Finite Extended State Machines, Temporal Logic)
  • UML
  • C language, Functional languages
  • DataBases
  • Operating Systems, Networks

Additional Information