| Équipes actuelles : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Anciennes équipes : | AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
| Anciens thèmes : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- DAGAND Pierre-Evariste : “The Usuba Experiment: Exploring post-Moore Compilers”, soutenance 29/03/2021
- GENITRINI Antoine : “Combinatoire énumérative et analytique en Logique Propositionnelle et en théorie de la Concurrence”, soutenance 22/09/2017
- BODINI Olivier : “Autour de la génération aléatoire sous modèle de Boltzmann”, soutenance 03/12/2010