Activities

Current service/memberships

  • YR-CONCUR PC co-chair; if you are a young researcher, consider submitting your papers on concurrency theory to YR-CONCUR 2019.
  • Societies: ACM, ACM SIGACT, ACM SIGLOG, IPA, VERSEN.