I’m a PhD student in computer science and control theory at Université de Lorraine since October 2016 until September 2019, under the supervision of Stephan Merz and Nicolae Brinzei.
I am working on combining formal verification and probabilistic assessment approaches for assessing systems safety and reliability. The point is to determine the degree of confidence in safety critical digital systems.
Quantifying the reliability of a system enables to anticipate its failures which can be safe or dangerous. The main issue consists in the systems complexity, due to the amount of components and their interactions.
The PhD thesis aims at merging probabilistic evaluation and satisfiability solving for symbolic verification.