2014-2015 - Master Degree in Computer Science - Research and Innovation
- DIS - Intrusion Detection (Valérie Viêt Triêm Tông)
- PPS - Politics and security properties (Nora Cuppens)
- CRY - Cryptography (Christophe Bidan)
- SDL - Software security (Thomas Jensen)
- DPC - Disponibility / Data protection (Caroline Fontaine)
- ASR - Introduction to Applications and Distributed Systems Algorithm (Michel Raynal)
- MSM - Mechanized Semantics (Sandrine Blazy)
- VAR - Acquisition and Manipulation in Real or Virtual (Éric Marchand)
2013-2014 - MS first year
- SGP - Operating systems and process management (Isabelle Puaut)
- SGM - Operating systems and memory management (Isabelle Puaut)
- COMP - Compilation (Sébastien Ferré)
- ASE - Embedded architecture (Steeven Derrien)
- STR - Real-Time System (Isabelle Puaut)
- Proj - Collective research and development project : Embedded-Scilab (supervided by Steven Derrien)
- BDA - Advanced Databases - (Zoltan Miklos)
- SEM - Semantics (David Cachera)
- ACF - Software formal analysis and design (Thomas Genet)
- CVFP - Modal logics (François Schwarzentruber)
- PRI - Information Network Protocols (César Viho)
- ELEC - Antennas (Ronan Sauleau)
- Optics (Olivier Emile)
- TI - Information Theory (Eric Fabre)
- TS - Signal processing (Jean-Jacques Bellanger)
2012-2013 - Higher National Diploma in computer science
- AGR - Graph's algorithms (Rumen Andonov)
- ARC - Computer architecture (Lucien Ungaro - Finn Bo Jørgensen)
- SYR - System and Network (Laurent Perraudeau)
- LF - Formal langage (Grazon Anne)
- BMO - Objects modelisation initiation (Jean-Marc Jezequel)
- PRG - Programming (Mickaël Foursov - Sandrine Blazy)
- ALG - Methods algorithmics (Sophie Pinchinat )
- COMP - Compilation (Véronique Masson)
- LOG - Logic (Annie Foret)