| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 12 Nov 2025 09:53:50 GMT
access-control-allow-origin: *
etag: W/"6914592e-2ec4"
expires: Sun, 18 Jan 2026 03:58:19 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: CEFE:129975:181FA6:1CA97C:696C5801
accept-ranges: bytes
age: 0
date: Sun, 18 Jan 2026 03:48:19 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210073-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768708099.466633,VS0,VE229
vary: Accept-Encoding
x-fastly-request-id: a110b7948f631ad574888d4c625448878a838b08
content-length: 4361
Enguerrand Prebet - Homepage
Publications are noted with * when the authors are given in alphabetical order.
I was an external/sub-reviewer for CPP (2026), LICS (2023-2025), IJCAR (2024), HSCC (2023).
In Spring '23, I organised a Proseminar on Differential Programming with Noah Abou El Wafa, Samuel Teuber and André Platzer.
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.
Interests:Program equivalence, pi-calculus, hybrid systems, differential dynamic logic, bisimulation
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
Publications:
DBLP Google ScholarPublications are noted with * when the authors are given in alphabetical order.
International Conferences:
- Enguerrand Prebet, Samuel Teuber, and André Platzer.
Verification of Autonomous Neural Car Control with KeYmaera X. In Michael Leuschel and Fuyuki Ishikawa, editors, Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Nancy, France, Proceedings. volume 15728 of LNCS, pp. 288-307. Springer, 2025.
DOI PDF - Enguerrand Prebet and André Platzer.
Uniform Substitution for Differential Refinement Logic. In Benzmüller, Christoph and Heule, Marijn J.H. and Schmidt, Renate A., editors, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 2-6, 2024, pages 196–215. Springer, 2024.
DOI PDF - *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.
DOI PDF - 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.
DOI PDF - *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.
DOI PDF - *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.
DOI PDF - *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.
DOI PDF
Journal:
- *Vishnu V. Narayan, Enguerrand Prebet, and Adrian Vetta.
The declining price anomaly is not universal in multi-buyer sequential auctions (but almost is). Theory Comput. Syst., 66(3):546–580, 2022.
DOI PDF
Workshop:
- *Daniel Hirschkoff and Enguerrand Prebet.
Using pi-calculus names as locks. In Claudio Antares Mezzina and Georgiana Caltais, editors, Proceedings Combined 30th International Workshop on Ex- pressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, Antwerp, Belgium, 18th September 2023, volume 387 of EPTCS, pages 76–96, 2023.
DOI PDF - *Daniel Hirschkoff, Enguerrand Prebet, and Davide Sangiorgi.
Modeling imperative constructs in the pi-calculus. In Alessandra Cherubini, Nicoletta Sabadini, and Simone Tini, editors, Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019, volume 2504 of CEUR Workshop Proceedings, pages 136–138. CEUR-WS.org, 2019.
PDF
Others:
- Enguerrand Prebet.
On Up-to Context Techniques in the π-calculus. working paper or preprint, December 2021.
PDF
PhD Thesis:
Teaching:
In Spring '23, I organised a Proseminar on Differential Programming with Noah Abou El Wafa, Samuel Teuber and André Platzer.
Teaching assistant:
- Compiler Design (Msc, Spring '25) with André Platzer
- Programming Paradigms (Bsc, Fall '24) with André Platzer (on functional programming and λ-calculus)
- Constructive Logic (MSc, Spring '24, Spring '23) with André Platzer
- Logical Foundations of Cyper-Physical Systems (MSc, Fall '23) with André Platzer (developing and porting an active learning quiz)
- Compilation (MSc, Fall '21) with Christophe Alias
- Architecture des ordinateurs (BSc, Fall '21) with Sylvain Brandel
- Performance, Evaluation (MSc, Fall '21) with Eric Thierry
- Performance, Evaluation and Network (MSc, Fall '20) with Eric Thierry
- Théorie de la programmation (BSc, Fall '20, Fall '19) with Daniel Hirschkoff
- Optimisation and Approximation (MSc, Fall '19) with Nicolas Bousquet