Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgVerified email at uol.de
Kevin BatzPostDoc, University College LondonVerified email at rwth-aachen.de
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl