My thesis defence

This page is dedicated to giving you some information about my Ph.D. thesis defence.

Practical information

Date and time

Monday, 24th September 2018, 14:30.


Métivier room,
Campus de Beaulieu, F-35042 Rennes



Controlling information in probabilistic systems


Verification, partial observation, diagnosis, probabilistic systems


The control of the information given by a system has recently seen increasing importance due to the omnipresence of communicating systems, the need for privacy, etc. This control can be used in order to disclose an information of the system, or, oppositely, to hide one. Diagnosis for instance tries to determine from the observation produced by the system whether a fault occurred within it or not. In this PhD, we study the diagnosis of stochastic systems through a model-based approach. The goal is to establish the decidability and optimal complexity of the decision problems and to build the adequate diagnosers. We consider these problems in multiple frameworks (finite/infinite, passive/active).




Stefan Kiefer University of Oxford, England Reviewer
Antonin Kucera Masaryk University, Czech republic Reviewer
Nihal Pekergin LACL, Université Paris Est Créteil Val de Marne, France Examiner
Sophie Pinchinat Université de Rennes 1, France Examiner
Wiesław Zielonka IRIF, Université Paris Diderot, France Examiner
Nathalie Bertrand INRIA Rennes, France Thesis advisor
Serge Haddad LSV, ENS Paris-Saclay, France Thesis advisor

About LSV