Professional activities
Invited speaker at
EXPRESS/SOS'2018
in Beijing, China, 3 September 2018
PC member of
FMICS'2018
in Maynooth, Ireland, 3-4 September 2018
PC member of
CONCUR'2018
in Beijing, China, 4-7 September 2018
PC member of
FSEN'2019
in Tehran, Iran, 1-3 May 2019
Program co-chair of
CONCUR'2019
in Amsterdam, The Netherlands
Member of the
CONCUR
steering committee
Editor of
Electronic Proceedings 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