Rosalie Iemhoff (born 1969) [1] is a Dutch logician whose research interests include intuitionistic logic and proof theory. She is a professor in the Department of Philosophy and Religious Studies at Utrecht University, [2] and an editor-in-chief of the Journal of Philosophical Logic. [3] She is also a member of the editorial board of the Stanford Encyclopedia of Philosophy. [4]
Education and career
After earning a master's degree in mathematics from the University of Amsterdam in 1995, [5] Iemhoff completed a PhD in mathematical logic there in 2001. [2] Her dissertation, Provability Logic and Admissible Rules, was jointly promoted by Anne Sjerp Troelstra, Dick de Jongh, and Albert Visser. [6] [7]
She was a postdoctoral researcher at the University of California, San Diego and a Marie Curie Fellow at TU Wien, before becoming an assistant professor at Utrecht University in 2006. [2] [5] She was promoted to associate professor in 2010 and full professor in 2019. [5]
References
- ^ Birth year from Dutch National Thesaurus for Author Names, accessed 2023-11-06
- ^ a b c "Prof. dr. Rosalie Iemhoff", Staff, Utrecht University, retrieved 2023-11-06
- ^ "Journal of Philosophical Logic", Journals, Springer, retrieved 2023-11-06
- ^ "Editorial Board (Stanford Encyclopedia of Philosophy)", plato.stanford.edu, retrieved 2024-01-15
- ^ a b c Curriculum vitae, 2019, retrieved 2023-11-06
- ^ Rosalie Iemhoff at the Mathematics Genealogy Project
- ^ Iemhoff, Rosalie (15 May 2001), Provability Logic and Admissible Rules, University of Amsterdam, hdl: 11245/1.194191
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
Rosalie Iemhoff (born 1969) [1] is a Dutch logician whose research interests include intuitionistic logic and proof theory. She is a professor in the Department of Philosophy and Religious Studies at Utrecht University, [2] and an editor-in-chief of the Journal of Philosophical Logic. [3] She is also a member of the editorial board of the Stanford Encyclopedia of Philosophy. [4]
Education and career
After earning a master's degree in mathematics from the University of Amsterdam in 1995, [5] Iemhoff completed a PhD in mathematical logic there in 2001. [2] Her dissertation, Provability Logic and Admissible Rules, was jointly promoted by Anne Sjerp Troelstra, Dick de Jongh, and Albert Visser. [6] [7]
She was a postdoctoral researcher at the University of California, San Diego and a Marie Curie Fellow at TU Wien, before becoming an assistant professor at Utrecht University in 2006. [2] [5] She was promoted to associate professor in 2010 and full professor in 2019. [5]
References
- ^ Birth year from Dutch National Thesaurus for Author Names, accessed 2023-11-06
- ^ a b c "Prof. dr. Rosalie Iemhoff", Staff, Utrecht University, retrieved 2023-11-06
- ^ "Journal of Philosophical Logic", Journals, Springer, retrieved 2023-11-06
- ^ "Editorial Board (Stanford Encyclopedia of Philosophy)", plato.stanford.edu, retrieved 2024-01-15
- ^ a b c Curriculum vitae, 2019, retrieved 2023-11-06
- ^ Rosalie Iemhoff at the Mathematics Genealogy Project
- ^ Iemhoff, Rosalie (15 May 2001), Provability Logic and Admissible Rules, University of Amsterdam, hdl: 11245/1.194191
| International | |
|---|---|
| National | |
| Academics | |
| Other | |