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)