Soutenances thèses - HDR (2022)
(liste non exhaustive)
- Formal Verification of Just-in-Time Compilation Le 19 décembre 2022
- Analyse de critères mécaniques de la performance en plongeon sur tremplin à l’aide d’un modèle d’interaction plongeur plongeoir Le 28 novembre 2022
- Algorithmes asynchrones pour la gestion décentralisée des réseaux électriques soumis aux aléas de communication Le 18 juillet 2022
- Contributions algorithmiques à l'analyse musculo-squelettique : modèles et méthodes Le 8 juillet 2022
- Approximation diffusion pour des équations dispersives Le 7 juillet 2022
- Contrôlabilité d'équations aux dérivées partielles non linéaires Le 30 juin 2022
- Energy Quality Time Fault Tolerant Task Mapping on Multicore Architectures Le 24 juin 2022
Mise à jour le 24 mars 2025