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

About LSV

Contact

Engel Lefaucheux
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Secr.
+33 (0)1 47 40 75 20
E-Mail
elefauch@mpi-sws.org