PhDs funded by PERSYVAL-lab

2020

GOURDIN Léo
[Co-supervised thesis] Synthesis of certified compilers
KRAEMER SARZI SARTORI Tarso
[Co-supervised thesis] Mitigation of Space-to-Ground Radiation Effects in Inertial Navigation Systems for Safety-Critical Applications
FOUSSARD Ernest
[Co-supervised thesis] Maintenance planning optimization to meet the challenge of circular economy
FAYOLLE Benjamin
[Co-supervised thesis] Quantifying the Impact of Environmental Parameters on Biodiversity
FAISANDAZ Gauthier
[Co-supervised thesis] Increasing input interaction expressiveness using eyes-free multi-finger interaction
LEVEY Lucie
[Co-supervised thesis] Newton Okounkov bodies for curve classes.

2019

Louis MATHIEU
[Co-supervised thesis] Quantum Transport, Computing and Thermodynamics via Random Quantum Walks on Graphs
Ahmad HAMDAN
[Co-supervised thesis] Transmission radio haut débit à forte mobilité à l'aide de modulations multiporteuses avancées
Laura PRUSZKO
[Co-supervised thesis] Molecular Implementation of Shape-Changing User Interfaces
Hubert LETERME
[Co-supervised thesis] Wavelet-Net : construction et interprétation de nouveaux réseaux neuronaux basés ondelettes pour la classification d'images
Estéban CARVALHO
[Co-supervised thesis] Safe and Agressive piloting of UAVs
Thomas BARZOLA
[Co-supervised thesis] Evaluation and optimization of one-way vehicle sharing systems: fleet sizing, reservation and relocation policies

2016

Xiaojie GUO
[Project-Team Caserm] Formal proofs for the analysis of real-time systems in Coq