Paula Henk

Paula Henk is a Java Software Engineer and Team Lead for Docs Content at Adyen since June 2018, where also serves as a Technical Writer. In addition to work in the tech industry, Paula has been a Group Fitness Instructor at USC Amsterdam since January 2015, designing and leading exercise sessions aimed at improving physical fitness. Previous academic appointments include lecturer roles at Amsterdam University College from January 2016 to June 2018 and the University of Amsterdam from September 2012 to July 2017, focusing on logic courses and conducting research in mathematical logic. Paula holds a PhD in Mathematical Logic, with a thesis titled "Nonstandard Provability for Peano Arithmetic: A Modal Perspective," alongside an MSc in Logic from the University of Amsterdam and a Bachelor of Science in Cognitive Science from Universität Osnabrück.