Engel Lefaucheux

ISFP Researcher In Inria Nancy, Loria within the VeriDis team.

Until 2021 I was a Post-doctoral researcher at the Max-Planck Institute for Software Systems in Sarrebrucken, under the supervision of Joël Ouaknine.

From 2015 to 2018 I was 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 a deprecated CV (in french).

Contact

email: engel.lefaucheux (at) inria.fr

Research

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)

I maintain a bibliography on opacity of discrete event systems, organized by type of system (classical, timed, stochastic, distributed, infinite-state, continuous, weighted).

Tools

Porous invariants builder for affine programs https://porous.mpi-sws.org/

Controller of timed automata to ensure opacity https://github.com/DylanMarinho/Controlling-TA

Internships

I am always interested in supervising internships (or PhD students though funding is harder to obtain). Here are some projects I am interested in supervising for instance.

• Model-checking linear dynamical systems under floating point rounding
• Model-checking security properties on Timed automata
• Partial observation of stochastic systems (subject in french)

Projects

I was a member of CPEC.

I am a member of ANR BiSoUS.

I coordinate ANR GUMMIS.