Engel Lefaucheux

Engel Lefaucheux is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS). His work focuses on formal verification, cyber-physical systems, and probabilistic systems. He is actively involved in analyzing timed automata, opacity problems, and parameter synthesis for complex systems. His research spans theoretical computer science, with contributions to dynamical systems, security, and algorithmic logic.

Key research interests include formal methods for real-time systems, stochastic diagnosis, and decidability in hybrid systems. He has published extensively on topics such as timed opacity control, porous invariants, and parametric verification.

Engel’s work often bridges theory and practice, with applications in system security, control synthesis, and automated reasoning. His contributions to decidability questions in dynamical systems and parameterized models highlight his expertise in foundational computer science challenges.