Scholar
Rosalie Iemhoff
Google Scholar ID: xD5hbYIAAAAJ
Professor of Logic, Proof Theory and the Foundations of Mathematics
Citations & Impact
Citations
591
H-index
14
i10-index
19
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Received a VIDI grant from the Netherlands Organisation for Scientific Research (NWO) in 2009 for a five-year research project 'The power of constructive proofs'; received a VICI grant from NWO in 2018 for another five-year research project 'Optimal Proofs'; was the editor-in-chief of the Journal of Philosophical Logic (2017-2023), an editor of Mathematical Logic Quarterly, and an editor of the Review of Symbolic Logic.
Research Experience
- Joined the Department of Philosophy at Utrecht University in 2006; spent several years as a postdoc at the University of California, San Diego, and the Technical University Vienna.
Education
- Studied mathematics at the University of Amsterdam, and obtained a PhD in mathematical logic at the same university in 2001.
Background
- 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.
Miscellany
- 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; former member of the Core Initiation Committee of the Proof Society (2017-2023)
Co-authors