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

• member of the Editorial Board of the Stanford Encyclopedia of Philosophy
  
• member of the Editorial Board of the ASL book series Perspectives in Logic
• member of the Board of the Arend Heyting Foundation
• member of the Board of the Vereniging voor Logica

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)