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
Contents
- Formal Methods
(Transitions Systems, Communicating automata,
Finite Extended State Machines, Temporal Logic)
- UML
- C language, Functional languages
- DataBases
- Operating Systems, Networks
Additional Information