Associate professor (HDR)


Team(s)

2XS

My thesis

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

Directed by Vincent Cordonnier and David Simplot-Ryl / Started 1 October 2000

Research field : Computer Science

Directed or co-supervised theses within CRIStAL

Nicolas Dejon

Conception d’un noyau sécurisé pour objets contraints

Valentin Lefils

Vérification externalisée du flot de contrôle : Comment adapter la sécurité système à l’informatique embarquée Defended on 26 June 2019

Mahieddine Yaker

Conception et implémentation d’un écosystème pour l’Internet des objets basé sur une isolation mémoire formellement prouvée Defended on 19 December 2019

Quentin Bergougnoux

Co-design et implémentation d’un noyau minimal orienté par sa preuve, et évolution vers les architectures multi-coeur Defended on 19 June 2019