Rosalie Iemhoff
Dutch logician and proof theorist / From Wikipedia, the free encyclopedia
Rosalie Iemhoff (born 1969)[1] is a Dutch logician whose research interests include intuitionistic logic and proof theory. She is a professor in the Department of Philosophy and Religious Studies at Utrecht University,[2] and an editor-in-chief of the Journal of Philosophical Logic.[3] She is also a member of the editorial board of the Stanford Encyclopedia of Philosophy.[4]