Rosalie Iemhoff

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.

[2] Her dissertation, Provability Logic and Admissible Rules, was jointly promoted by Anne Sjerp Troelstra, Dick de Jongh, and Albert Visser.

[6][7] She was a postdoctoral researcher at the University of California, San Diego and a Marie Curie Fellow at TU Wien, before becoming an assistant professor at Utrecht University in 2006.