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]

Education and career

After earning a master's degree in mathematics from the University of Amsterdam in 1995,[4] 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.[5]

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][4] She was promoted to associate professor in 2010 and full professor in 2019.[4]

References

  1. ↑ Birth year from Dutch National Thesaurus for Author Names, accessed 2023-11-06
  2. 1 2 3 "Prof. dr. Rosalie Iemhoff", Staff, Utrecht University, retrieved 2023-11-06
  3. ↑ "Journal of Philosophical Logic", Journals, Springer, retrieved 2023-11-06
  4. 1 2 3 Curriculum vitae, 2019, retrieved 2023-11-06
  5. ↑ Rosalie Iemhoff at the Mathematics Genealogy Project
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.