Publications

• Sprout: A Verifier for Symbolic Multiparty Protocols [pdf]
  With Elaine Li, Thomas Wies, and Damien Zufferey.
  In: Proceedings of CAV 2025.
• Characterizing Implementability of Global Protocols with Infinite States and Data [pdf] [arxiv]
  With Elaine Li, Thomas Wies, and Damien Zufferey.
  In: Proceedings of OOPSLA 2025.
• An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols [arxiv]
  With Emanuele D’Osualdo.
  In: Proceedings of ESOP 2025.
• Implementability of Asynchronous Communication Protocols – The Power of Choice
  Doctoral Thesis [pdf] (advised by Rupak Majumdar and Damien Zufferey)
• Deciding Subtyping for Asynchronous Multiparty Sessions [pdf] [arxiv]
  With Elaine Li and Thomas Wies.
  In: Proceedings of ESOP 2024.
• Complete Multiparty Session Type Projection with Automata [pdf] [arxiv] [prototype]
  With Elaine Li, Thomas Wies, and Damien Zufferey.
  In: Proceedings of CAV 2023.
• Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts [pdf] [arxiv]
  In: Proceedings of ECOOP 2023.
• Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types [pdf] [arxiv]
  With Damien Zufferey.
  In: Proceedings of GandALF 2022.
• Generalising Projection in Asynchronous Multiparty Session Types
  [pdf] [arxiv] [talk] [prototype]
  With Rupak Majumdar, Madhavan Mukund, and Damien Zufferey.
  In: Proceedings of CONCUR 2021.
• Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions [pdf] [arxiv] [prototype]
  With Emanuele D’Osualdo.
  In: Proceedings of CONCUR 2020.
  Master Thesis [pdf]
• Operations on a Symbolic Domain for Synthesis
  Bachelor Thesis [pdf] (advised by Roland Meyer)
• PROSA: A Case for Readable Mechanized Schedulability Analysis [pdf] [framework]
  With Felipe Cerqueira and Björn Brandenburg.
  In: Proceedings of ECRTS 2016. Best Paper Award

Talks

• AMP: Automata-based Multiparty Protocols Framework
  At: PLACES, May 2025 .
• How To Implement Multiparty Protocols: Project and Type Check
  At: University of Toronto, May 2025 .
• An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
  At: D-Con, March 2025.
• Deciding Subtyping for Asynchronous Multiparty Sessions
  At: Dagstuhl Seminar on Next Generation Protocols for Heterogeneous Systems, January 2024.
• Complete Multiparty Session Type Projection with Automata
  At: ST30 (30 Years of Session Types), October 2023.
• Multiparty Session Types Meet Message Sequence Charts
  At: PLACES, April 2023.
• On Implementability of Asynchronous Communication Protocols
  At: University of Luxembourg, March 2023.
• Verification of Message-passing Programs – Implementing Communication Protocols
  At: New York University, July 2022.
• Verification of Asynchronous Communication – An Automata-theoretic Perspective on Multiparty Session Types
  At: Highlights, September 2021.

Service

• Program Committee: OOPSLA 2025, Coordination 2025, ICE 2025, Express/SOS 2024, GandALF 2024, ICE 2024.
• Artifact Evaluation Committee: Coordination 2024, FORTE 2024.
• External Reviewer: TASE 2025, CONCUR 2024, CONCUR 2022, CDC 2021, ESOP 2021, VMCAI 2021.