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