Dr. Bulling completed his habilitation (Dr. rer. nat. habil.) in Computer Science in 2015 and received his PhD (Dr. rer. nat.) in 2010, both at Clausthal University of Technology. His PhD thesis was awarded the international E.W. Beth dissertation prize for an outstanding contribution in the fields of logic, language, and information. Currently, he is a staff member of the Interactive Intelligence Group at TU Delft, led by Prof. Dr. Catholijn Jonker, and an adjunct member of the Computational Intelligence Group at TU Clausthal, led by Prof. Dr. Ju ̈rgen Dix. Dr. Bulling’s general research focus is on formal methods (especially verification), multi-agent systems, logics, game theoretic- methods and artificial intelligence.