Professional activities
Keynote speaker at
SETTA'2020
in Beijing, China, 8-11 July 2020
PC member of
FMICS'2020
in Vienna, Austria, 2-3 September 2020
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 (and co-founder) of
IFIP WG 1.8: Concurrency Theory