Enguerrand Prebet

About Me

I am a post-doc at the Karlsruhe Institute of Technology as part of André Platzer's team: Logic of Autonomous Dynamical Systems . 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.

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.

More information in my CV.

Enguerrand Prebet

Department of Informatics

Karlsruhe Institute of Technology

Am Fasanengarten 5

76131, Karlsruhe, Germany

Email: name dot surname at kit dot edu

Phone: +49 721 608-45804

Office: Building 50.34 Room 159

Contact Photo


DBLPGoogle Scholar

International Conferences:

  1. Daniel Hirschkoff, Guilhem Jaber, and Enguerrand Prebet.
    Deciding contextual equivalence of nu-calculus with effectful contexts. In Orna Kupferman and Pawel Sobocinski, editors, Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, volume 13992 of Lecture Notes in Computer Science, pages 24–45. Springer, 2023.
  2. Enguerrand Prebet.
    Functions and references in the pi-calculus: Full abstraction and proof techniques. In Mikolaj Bojanczyk, Emanuela Merelli, and David P. Woodruff, editors, 49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France, volume 229 of LIPIcs, pages 130:1–130:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
  3. Daniel Hirschkoff, Enguerrand Prebet, and Davide Sangiorgi.
    On sequentiality and well-bracketing in the π-calculus. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pages 1–13. IEEE, 2021.
  4. Daniel Hirschkoff, Enguerrand Prebet, and Davide Sangiorgi.
    On the representation of references in the pi-calculus. In Igor Konnov and Laura Kovács, editors, 31st International Conference on Concurrency Theory, CONCUR 2020, volume 171 of LIPIcs, pages 34:1–34:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
  5. Vishnu V. Narayan, Enguerrand Prebet, and Adrian Vetta.
    The declining price anomaly is not universal in multi-buyer sequential auctions (but almost is). In Dimitris Fotakis and Evangelos Markakis, editors, Algorithmic Game Theory - 12th International Symposium, SAGT 2019, Athens, Greece, September 30 - October 3, 2019, Proceedings, volume 11801 of Lecture Notes in Computer Science, pages 109–122. Springer, 2019. Best paper award.




PhD Thesis:


In Spring '23, I organised a Proseminar on Differential Programming with Noah Abou El Wafa, Samuel Teuber and André Platzer.

Teaching assistant: