Research

Research Interests

• Formal models for concurrent and distributed systems (especially process calculi) and rigorous verification techniques to ensure correctness and reliability in complex programs.
• Type systems for concurrent programming, with a focus on session types and their logical foundations, to enable safe and structured communication in distributed applications.
• Exploring the expressive power of concurrent models (with and without types) to understand their capabilities and limitations in modeling real-world systems.

Service

International Journals

• Information and Computation: Editorial board member (since 2025).

Future and Recent Events

• LOPSTR+PPDP 2026: Joint International Symposium: the 36th Annual Symposium on Logic-Based Program Synthesis and Transformation, and the 28th International Symposium on Principles and Practice of Declarative Programming (PC member).
• ECI 2026: 39th School of Informatic Sciences, Buenos Aires, Argentina (Invited Lecturer)
• ICTAC 2026: 23rd International Colloquium on Theoretical Aspects of Computing (PC member)
• EXPRESS/SOS 2026: Combined 33rd International Workshop on Expressiveness in Concurrency and 23rd Workshop on Structural Operational Semantics (PC member)
• LSFA 2026: 21st International Symposium on Logical and Semantic Frameworks, with Applications (PC member)
• CMCS 2026: 18th International Workshop on Coalgebraic Methods in Computer Science (PC member)
• ESOP 2026: 35th European Symposium on Programming (PC member)
• ICTAC 2025: 22nd International Colloquium on Theoretical Aspects of Computing (PC member)
• CAV 2025: 37th International Conference on Computer Aided Verification (PC member)
• FORTE 2025: 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (PC member)
• D-Con 25: German workshop on Concurrency Theory (Invited Speaker)
• RADICAL 2025: Recent Advances in Concurrency and Logic (PC co-chair)

Projects

Current Projects

• Cyclic Structures in Programs and Proofs (NWO). Project OCENW.XL.23.089 (Open Competition Domain Science XL, round 2023-2024). Lead PI.
• E-CoRe: Energy-efficient Computing via Reversibility: Marie Skłodowska-Curie Action (Associate Partner)
• Concurrency in Reversible Computations (NSF grant to Clément Aubert, external collaborator)

Past Projects

• NWO VIDI project: “Unifying Correctness for Communicating Software” [link].
• AVISPA Univ. Javeriana, Colombia.
• SuCCeSS: Security, Adaptability and time in Communication Centric Software Systems - CNRS PICS (French partner: Cinzia Di Giusto).
• RevComp Reversible Computation - Extending Horizons of Computing - EU COST Action IC1405 (2014-2018). Management Committee member.
• ARVI: Runtime Verification Beyond Monitoring - EU COST Action IC1402 (2014-2018). Management Committee member.
• BETTY: Behavioral Types for Reliable Large-Scale Software Systems - EU COST Action IC1201 (2012-2016). Management Committee member
• INTERFACES (CMU-Portugal).

Organizations

• ACM SIGLOG
• ACM SIGPLAN
• ETAPS (Member)
• IFIP
• VERSEN (Board Member)