Je mène mes activités de recherche au sein du LTCI, du département INFRES et de l’IRT SystemX (Mise à Disposition).

Liste des projets de recherche auxquels j’ai participé

• PARSEC (fini)  — FUI
• CORAC (actif) — Investissement d’avenir
• PISCO (fini) — FUI
• CONNEXION (fini) — BGLE2
• IRT SystemX
• SEIDO — laboratoire commun avec EDF R&D

Mes thèmes de recherche actuels sont orientés selon deux axes principaux

• Conception d’algorithmes d’ordonnancement pour architectures critiques
• Définition et analyse de langage de description de politiques de sécurité/architecture de sûreté de fonctionnement