Professional activities
PC co-chair of
CONCUR'2019
in Amsterdam, The Netherlands, 26-31 August 2019
PC member of
FMICS'2019
in Amsterdam, The Netherlands, 30-31 August 2019
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
Chair of the board of the
Institute for Programming research and Algorithmics (IPA)
Member of
IFIP WG 1.8: Concurrency Theory
Member of the
Formal Methods Europe Book Review Committee