Christian Schaffner received a diploma degree in mathematics from ETH Zurich (Switzerland) in 2003 and a PhD degree in computer science from Aarhus University (Denmark) in 2007 After three years as postdoctoral scholar at Centrum Wiskunde & Informatica (CWI)  he is currently an Associate Professor of Theoretical Computer Science at the Institute for Logic  Language and Computation (ILLC) at the University of Amsterdam