Professional activities
PC member of
FORTE'2021
on Malta, June 2021
PC member of
FSEN'2021
in Tehran, Iran, 19-21 May 2021
Editor of
Logical Methods in Computer Science
Editor of
Electronic Proceedings in Theoretical Computer Science
Member of the
CONCUR
steering committee, the annual International Conference on Concurrency Theory
Member of the
TTCS
steering committee, the bi-annual International Conference on Topics in Theoretical Computer Science
Member of the board of the
Institute for Programming research and Algorithmics (IPA)
Member (and co-founder) of
IFIP WG 1.8: Concurrency Theory