Jawher Jerray

I'm PhD student since the 1st of October 2018 at University Paris 13 under the supervision of Étienne André at LIPN and Laurent Fribourg at LSV

I work in the LoVe team at LIPN, particularly in the verification research axis

I'm interesting in formal method specifically with parametric timed model-checking in order 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.
  • Implement these algorithms in a dedicated software suite
keywords :


I am monitor at Galilée institute, University Paris 13 .
The courses in which I intervened are:

  • Fundamentals of c programming (L1 at Institut Galilée).
  • Shell script programming (L1 at Institut Galilée).
  • Imperative programming (L1 at Institut Galilée)


Contact Me

E-Mail: Jawher.Jerray(at)univ-paris13.fr

Address: LIPN
Institut Galilée
Université Paris 13
99 avenue Jean-Baptiste Clément
93430 Villetaneuse