Engel Lefaucheux

Former PhD student

About me

I am a post-doctoral researcher at the Max-Planck Institute for Software Systems in Sarrebrucken, under the supervision of Joël Ouaknine).

I used to be a PhD student under the co-supervision of Nathalie Bertrand at IRISA Rennes (Team SUMO) and of Serge Haddad at ENS Cachan (LSV, team MExICo). My PHD focuses on controlling information in probabilistic systems.

See my curriculum vitæ for more informations.

My publications

My internship reports : L3 , M1 et M2

Ph.D. thesis Defence

I defended my Ph.D. thesis on the 24th September 2018. You can find more details here.

Some recent talks

• MSR'17, Diagnostic et contrôle de la dégradation des systèmes probabilistes.
• Highlight'16, Simple Prices Timed Games are not that simple.
• Concur'16, Diagnosis in Infinite-State Probabilistic Systems.
• LATA'16, Accurate Approximate Diagnosability of Stochastic Systems.
• GT-Vérif, Specification and Verification of Diagnosis and Predictability in Probabilistic Systems.

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact