Personal Pages

• c.a.esterhuyse _ AT _ uva.nl
• CV PDF
• Google Scholar
• GitHub
• ORCID
• LinkedIn
• UvA/CCI People

---

Publications

• Formal Foundations for Reowolf: Multi-Party Sessions via Synchronous Protocol Programming with Benjamin Lion, Hans-Dieter Hiep, and Farhad Arbab. Preprint PDF Repo Published at COORDINATION 2025 DOI: 10.1007/978-3-031-95589-1_1

  “The final publication is available at Springer via https://doi.org/10.1007/978-3-031-95589-1_1”

• JustAct+: Justified and Accountable Actions in Policy-Regulated, Multi-Domain Data Processing with L. Thomas van Binsbergen and Tim Müller Repo Under review for LMCS 2025
  DOI: 10.48550/arXiv.2502.00138

---

Research Interests

• Distributed systems
• Formal methods
• Logic programming
• Systems programming
• Functional programming
• Program verification