Professional Service

• Organizer / Committee Chair
  
  • Organizing committee member of Dagstuhl Seminar 26071 on Behavioural Types for Resilience, Feb. 8 - Feb. 13, 2026.
  • Program committee (co-)chair of 16th Workshop on Programming Language Approaches to Concurrency & Communication cEntric Software (PLACES), May 4, 2025.
• Program Committee Member / Reviewer
  
  • Conferences: LICS 2026, ESOP 2026, ICFP 2025, COORDINATION 2025, ECOOP 2025.
  • Workshops: ICE 2025, PriSC 2025, TLLA 2024, PriSC 2024, APLAS 2022, ECOOP Doctoral Symposium 2022, PLACES 2022.
  • Journals: ACM Transactions on Privacy and Security (TOPS) 2025, ACM Transactions on Programming Languages and Systems (TOPLAS) 2025.