Rosalie Iemhoff is a logician specializing in mathematical and philosophical logic. Her research interests range from theoretical and foundational to applied topics, with a special interest in proof theory, its questions and its methods. Rosalie studied mathematics at the University of Amsterdam, and obtained a PhD in mathematical logic at the same university in 2001. After spending several years as a postdoc, at the University of California, San Diego and the Technical University Vienna, she joined the Department of Philosophy at Utrecht University in 2006.

In 2009 she received a VIDI grant from the Netherlands Organisation for Scientific Research (NWO) for a five year research project The power of constructive proofs. In 2018 she received a VICI grant from NWO for a five year research project Optimal Proofs.

Rosalie is a

She is a former

  • editor-in-chief of the Journal of Philosophical Logic (2017-2023)
  • editor of Mathematical Logic Quarterly
  • editor of the Review of Symbolic Logic
  • member of the Core Initiation Committee of the Proof Society (2017-2023)