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 :

Teaching:

À propos du LSV

Contact

Jawher JERRAY
Adresse
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
jawher (dot) jerray (at) lsv.fr