Thèses financées par PERSYVAL-lab

2020

GOURDIN Léo

[Thèses co-encadrées] Synthesis of certified compilers

KRAEMER SARZI SARTORI Tarso

[Thèses co-encadrées] Mitigation des Effets du Rayonnement Cosmique dans les Algorithmes d'Estimation d'Attitude de Systèmes de Navigation Inertielle

FOUSSARD Ernest

[Thèses co-encadrées] Optimisation des plannings de maintenance pour relever le défi de l'économie circulaire

FAYOLLE Benjamin

[Thèses co-encadrées] Quantifying the Impact of Environmental Parameters on Biodiversity

FAISANDAZ Gauthier

[Thèses co-encadrées] Améliorer l'expressivité des interfaces d'entrée par des interactions tactilo-kinesthésiques à multiples composantes

LEVEY Lucie

[Thèses co-encadrées] Corps de Newton Okounkov de classes de courbes.

2019

Louis MATHIEU

[Thèses co-encadrées] Quantum Transport, Computing and Thermodynamics via Random Quantum Walks on Graphs

Ahmad HAMDAN

[Thèses co-encadrées] Transmission radio haut débit à forte mobilité à l'aide de modulations multiporteuses avancées

Laura PRUSZKO

[Thèses co-encadrées] Molecular Implementation of Shape-Changing User Interfaces

Hubert LETERME

[Thèses co-encadrées] Wavelet-Net : construction et interprétation de nouveaux réseaux neuronaux basés ondelettes pour la classification d'images

Estéban CARVALHO

[Thèses co-encadrées] Safe and Agressive piloting of UAVs

Thomas BARZOLA

[Thèses co-encadrées] Evaluation and optimization of one-way vehicle sharing systems: fleet sizing, reservation and relocation policies

2016

Xiaojie GUO

[Equipe-action Caserm] Formal proofs for the analysis of real-time systems in Coq