Rosalie Iemhoff (nacida en 1969) [1] es una lógica holandesa cuyos intereses de investigación incluyen la lógica intuicionista y la teoría de la prueba . Es profesora en el Departamento de Filosofía y Estudios Religiosos de la Universidad de Utrecht , [2] y editora en jefe del Journal of Philosophical Logic . [3] También es miembro del consejo editorial de la Enciclopedia de Filosofía de Stanford . [4]
Después de obtener una maestría en matemáticas de la Universidad de Ámsterdam en 1995, [5] Iemhoff completó allí un doctorado en lógica matemática en 2001. [2] Su disertación, Provability Logic and Admissible Rules , fue promovida conjuntamente por Anne Sjerp Troelstra , Dick de Jongh y Albert Visser. [6] [7]
Fue investigadora postdoctoral en la Universidad de California, San Diego y becaria Marie Curie en TU Wien , antes de convertirse en profesora asistente en la Universidad de Utrecht en 2006. [2] [5] Fue ascendida a profesora asociada en 2010 y profesora titular en 2019. [5]