First year (Pre-graduation)
First semester
Prog1
Functional (OCaml) and object-oriented (Scala) programming
Arcsys1
Unix systems, C programming and networks
Fond1
Formal languages and calculability
Algo1
Basic algorithms for graphs and trees
Math1
Lebesgue integration
Math4
Optimisation and cryptography
Security
Forensics analysis on Android project
English
Second semester
Prog2
Advanced programming (C++ and lisp/scheme)
Algo2
Advanced algorithmics : NP-completeness, probabilistic algorithms, algorithms for geometry
Arcsys2
Architecture
Fond2
Logic
Math2
Applied statistics
Image
OpenGL programming, 3D render, animation
English
Second year -ongoing-
THX
Complexity theory : PSPACE, L, NL classes, polynomial hierarchy, alternative machines
SPA
Solvers principles and architecture
TS
Introduction to signal processing
English
TOEIC test preparation
SEL
Linux operating system
PDS
Syntax-directed programs, compilation
ACF
Formal conception of softwares (using the proof-assistant Isabelle/HOL)