Engel Lefaucheux

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 focused on controlling information in probabilistic systems.

Here is my CV.


email: elefauch (at) mpi-sws.org


My main research interests include:
  • Decision, control, and synthesis problems for continuous and discrete linear dynamical systems (using tools from number theory, Diophantine geometry, algebraic geometry)
  • Automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity)
  • Logic and applications to verification
  • Modelisation of systems (in particular through probabilistic programming)


Porous invariants builder for affine programs https://invariants.davidpurser.net/