| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former teams : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
| Former research topics : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- BUI-XUAN Binh-Minh : “Temporality, geometry, and efficient algorithms of graphs”, defence 11/09/2023
- DAGAND Pierre-Evariste : “The Usuba Experiment: Exploring post-Moore Compilers”, defence 03/29/2021
- GENITRINI Antoine : “Combinatoire énumérative et analytique en Logique Propositionnelle et en théorie de la Concurrence”, defence 09/22/2017
- BODINI Olivier : “Autour de la génération aléatoire sous modèle de Boltzmann”, defence 12/03/2010