Editor-in-Chief of the journal Theoretical Computer Science - Series A. Co-Editor-in-Chief of the Springer LNCS series Advanced Research in Computing and Software Science. Member of Editorial board of Computer Science Review. Member of Editorial board of the International Journal of Foundations of Computer Science. Member of the Technical Committee on Foundations of Computer Science (TC1) International Federation of Information Processing (IFIP). Member of Academia Europaea since 1996. In 2014 has been nominated Fellow of the European Association for Theoretical Computer Science (EATCS).
