Ph D. student at KOPERNIC, Keeping worst case reasoning appropriate for different criticalities.
Supervised by Liliana Cucu-Grosjean (Inria) and Avner Bar-Hen (Cnam).

Research interests

• Embedded real-time systems

• Stochastic analysis

 kevin.zagalo@inria.fr