Institute for Logic, Language and Computation (ILLC)
University of Amsterdam
My main research interest lies in the area of provability logic, where modal logic is used
in the study of formal systems of arithmetic.
My supervisors are Dick de Jongh, Albert Visser, Frank Veltman, and Volodya Shavrukov.
I received my Master of Science degree in 2012 from the University of Amsterdam
under the supervision of Dick de Jongh and Albert Visser.
Building F, Science Park 107, 1098XG Amsterdam