Paula Henk

PhD student
Institute for Logic, Language and Computation (ILLC)
University of Amsterdam

About me

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.

I am an organiser of the Cool Logic seminar. I also participate in organising the PIIA seminar.


Room: F2.23
Building F, Science Park 107, 1098XG Amsterdam
Email: P.Henk@uva.nl