Hugo Salou – ENS M1
[OPT] E. Riccietti et S. ...
Optimization
[PDAP] A. Benoit
Parallel and Distributed Algorithms and Programs
[SV] C. Riba
Semantics and Verification
[CAP] G. Radanne et L. ...
Compiler and Program Analysis
[QCS] S. Designolle
Quantum Computer Science
[CS] A. Passelègue et D. ...
Cryptography and Security
[IP] F. Schwarzentruber
Integrated Project