About Me
I am currently ATER ("teaching and research assistant") at the Université de Caen Normandie, attached to the MAD (Models, Agents, Decision) team of the GREYC lab. My main focus is on the extension of differential dynamic logic (dL) called differential refinement logic (dRL) and its applications for proving safety of hybrid systems. Refinements express the idea that systems can have fewer behaviours than others, and thus are helpful to know when it is sound to replace a hybrid program by another without breaking the safety of the overall system. I am also interested in (interactive) theorem provers like Lean, Rocq. This line of work started during my post-doc at the Karlsruhe Institute of Technology as part of André Platzer's team: Logic of Autonomous Dynamical Systems where I was involved in the development of KeYmaera X.
Previously, I did my PhD on typed behavioural equivalences in the pi-calculus at the École Normale Supérieure de Lyon and the University of Bologna under the supervision of Daniel Hirschkoff and Davide Sangiorgi. There, I worked on designing type systems (for references, sequentiality, ...), and adapted the existing bisimilarity techniques to these new settings to prove typed behavioural equivalence, i.e. when the replacement of programs will not alter the resulting behaviour.
Interests: program equivalence, pi-calculus, hybrid systems, differential dynamic logic, bisimulation, theorem prover
More information in my CV.
Enguerrand Prebet
GREYC
Boulevard Maréchal Juin
14032, Caen, France
Email: name dot surname at unicaen dot fr
Office: S3 354, Science 3, Campus 2
