Hugo Salou – ENS M1
[HoTT] Hugo Salou
Traquenard HoTT
[CAT] Tom Hirschowitz
Algebraic and combinatorial aspects of category theory
[OPT] Elisa Riccietti et ...
Optimization
[PDAP] Anne Benoit
Parallel (and Distributed) Algorithms and Programs
[SV] Colin Riba
Semantics and Verification
[CAP] Gabriel Radanne et ...
Compiler and Program Analysis
[QCS] Sébastien Designolle
Quantum Computer Science
[IP] François ...
Integrated Project
[PP] Michele Pagani et ...
Programs and Proofs
[CGDI] Vincent Nivoliers
Computational Geometry and Digital Images
[CA] Gilles Villard, ...
Computer Algebra
[DBDM] François ...
Data Bases and Data Mining
[CC] Pascal Koiran
Computational Complexity