Editor of the Journal of Logic, Language and Information
Editor of Mathematical Logic Quarterly
Editor of the FoLLI subline of LNCS
SC member of Algebra and Coalgebra meet Proof Theory
Co-organizer of the Algebra and Coalgebra Seminar ILLC, University of Amsterdam.
Co-organizer of the SYSMICS Summer School, Les Diablerets, Switzerland, 22 - 26 August 2018.
Aybuke Ozgun (co-supervised with Hans van Ditmarsch and Sonja Smets). Thesis entitled: Evidence in Epistemic Logic: A Topological Perspective. (Defence date: 4 October, 2017).
Sumit Sourabh (co-supervised with Alessandra Palmigiano and Yde Venema). Thesis entitled: Correspondence and Canonicity in Non-Classical Logic. (Defence date: 9 September, 2015).