Research

Rigorous programming models with concurrency (in particular, process calculi) and their verification techniques.
Type systems for concurrency (in particular, session types) and their logical foundations.
The expressive power of models of concurrency, both typed and untyped.

Cyclic Structures in Programs and Proofs (NWO). Project OCENW.XL.23.089 (Open Competition Domain Science XL, round 2023-2024). Lead PI.
Concurrency in Reversible Computations (NSF grant to Clément Aubert, external collaborator)

NWO VIDI project “Unifying Correctness for Communicating Software”.
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.

Scientific events (workshops, conferences, research schools) in which I am or have been involved.

ICTAC 2026: 23rd International Colloquium on Theoretical Aspects of Computing (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)