Rosalie Iemhoff

Prof. Rosalie Iemhoff is a logician specializing in mathematical and philosophical logic at Utrecht University. She holds a PhD in mathematical logic from the University of Amsterdam (2001) and has held postdoctoral positions at the University of California, San Diego, and the Technical University Vienna. She joined Utrecht's Department of Philosophy in 2006. Her research focuses on proof theory, constructive proofs, and modal/logic systems, with major grants including NWO VIDI (2009) and VICI (2018). She has served as editor-in-chief of the Journal of Philosophical Logic (2017–2023) and sits on editorial boards of the Stanford Encyclopedia of Philosophy and ASL's Perspectives in Logic series.

Her work spans foundational topics like intuitionistic logic, admissible rules, and proof systems, with notable contributions to sequent calculi, uniform interpolation, and constructive set theories. She has led EU-funded projects (e.g., MOSAIC) and received awards such as the Aspasia Grant (NWO, 2018 and 2011). Her research bridges theoretical rigor with applied logic, emphasizing methods like cut-elimination and termination in proof systems.

• Education: PhD in Mathematical Logic (University of Amsterdam, 2001)
• Grants: VICI, VIDI, Aspasia, Marie Curie Fellowship, MSCA-RISE
• Editorial Roles: Stanford Encyclopedia of Philosophy, Journal of Philosophical Logic, Proof Society