Adrien DIDIER

Université Paris-Est Créteil (UPEC), LACL, Paris, France

I am currently working on a PHD under the supervision of Julien Cervelle, Catalin Dima, Frederic Gervais, and Regine Laleau. My research is done with the help of académie spatiale d'ile de france, and explore the usage of formal methods applied to aerospace, seen as a safety-critical domain. My thesis is focused on B language, a theorem prover based on model theory. The purpose of my PHD is to create a secure interface for a future satellite.

Papers