I obtained a PhD in mathematical logic at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.