Biography:Rosalie Iemhoff

From HandWiki
Short description: Dutch logician and proof theorist

Iemhoff in 2010

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

  1. Birth year from Dutch National Thesaurus for Author Names, accessed 2023-11-06
  2. 2.0 2.1 2.2 "Prof. dr. Rosalie Iemhoff", Staff (Utrecht University), https://www.uu.nl/staff/RIemhoff, retrieved 2023-11-06 
  3. "Journal of Philosophical Logic", Journals (Springer), https://www.springer.com/journal/10992, retrieved 2023-11-06 
  4. Editorial Board (Stanford Encyclopedia of Philosophy), https://plato.stanford.edu/board.html, retrieved 2024-01-15 
  5. 5.0 5.1 5.2 Curriculum vitae, 2019, https://www.phil.uu.nl/~iemhoff/cv.html, retrieved 2023-11-06 
  6. Rosalie Iemhoff at the Mathematics Genealogy Project
  7. Iemhoff, Rosalie (15 May 2001), Provability Logic and Admissible Rules, University of Amsterdam