Maître de conférences (HDR)


Equipe(s)

2XS

Ma thèse

“Contributions à la diffusion dans les réseaux ad hoc”

Dirigée par Vincent Cordonnier et David Simplot-Ryl / Débutée le 1er octobre 2000

Domaine de recheche : Informatique

Thèses dirigées ou co-encadrées au sein de CRIStAL

Quentin Bergougnoux

Conception et implémentation d’un exo-noyau à la propriété d’isolation formallement prouvable

Mahieddine Yaker

Hyperviseur prouvé pour les systèmes temps réel

Valentin Lefils

Tissage de code pour le suivi d’exécution d’un système d’exploitation par token sécurité