Jawher JERRAY

Doctorant, CNRS

About me:

I'm a phD student since October 2018 under the supervision of Étienne André at LIPN in the university of Paris 13 and Laurent Fribourg at LSV. I'm working on formal method specifically with parametric timed model-checking to analyse real-time systems under uncertainty.

My thesis topic is formal analysis of real-time systems (funded by the University Paris 13, ED Galilée).

The goal of my research is to :

• Propose translations of large classes of real-time systems to parameterized timed automata.
• Propose efficient model checking algorithms.

Teaching:

• 2018-2019
• Fundamentals of c programming [TD/TP] (L1 at Institut Galilée)
• Shell script programming [TP] (L1 at Institut Galilée)
• Imperative programming [TP] (L1 at Institut Galilée)

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact