| 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 |
- LAUTER Christoph : “Au-delà de l'arithmétique flottante IEEE754”, defence 05/22/2019
- FORTIN Pierre : “Contributions algorithmiques au calcul scientifique sur architectures haute performance”, defence 07/05/2018
- TIERNY Julien : “Contributions à l'Analyse Topologique de Données pour la Visualisation Scientifique”, defence 04/29/2016
- GRAILLAT Stef : “Contribution à l'amélioration de la précision et à la validation des algorithmes numériques”, defence 12/02/2013
- DUBUISSON Séverine : “Le filtrage particulaire pour le suivi dans les séquences complexes : des solutions pour la gestion des grands espaces d'état et d'observation”, defence 11/09/2012
- BÉREZIAT Dominique : “Contributions aux méthodes variationnelles pour le calcul du flot optique: prise en compte des informations spatiales et temporelles”, defence 11/24/2010
- DIDIER Laurent-Stéphane : “Contribution aux systèmes modulaires de représentation des nombres et à l’automatisation de la validation numérique”, defence 11/27/2009
- JEZEQUEL Fabienne : “Contrôle dynamique de méthodes d'approximation”, defence 02/10/2005
- LAMOTTE Jean-Luc : “Vers une chaine de validation des logiciels numériques à l'aide de méthodes probabilistes”, defence 11/30/2004