I am working at the Netherlands Organisation for Applied Scientific Research (TNO).

Prior to that, I obtained a PhD in mathematical logic at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. My PhD research was partially funded by a doctoral scholarship of the Studienstiftung des deutschen Volkes.