Rosalie Iemhoff (born 1969) is a Dutch

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arg ...

whose research interests include

intuitionistic logic Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems ...

and

proof theory Proof theory is a major branchAccording to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. consists of four corresponding parts, with part D being about "Proof The ...

. She is a professor in the Department of Philosophy and Religious Studies at

Utrecht University Utrecht University (UU; , formerly ''Rijksuniversiteit Utrecht'') is a public university, public research university in Utrecht, Netherlands. Established , it is one of the oldest universities in the Netherlands. In 2023, it had an enrollment of ...

, and an editor-in-chief of the ''

Journal of Philosophical Logic A journal, from the Old French ''journal'' (meaning "daily"), may refer to: *Bullet journal, a method of personal organization *Diary, a record of personal secretive thoughts and as open book to personal therapy or used to feel connected to onesel ...

''. She is also a member of the editorial board of the

Stanford Encyclopedia of Philosophy The ''Stanford Encyclopedia of Philosophy'' (''SEP'') is a freely available online philosophy resource published and maintained by Stanford University, encompassing both an online encyclopedia of philosophy and peer-reviewed original publication ...

Education and career

After earning a master's degree in mathematics from the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlan ...

in 1995, Iemhoff completed a PhD in mathematical logic there in 2001. Her dissertation, '' Provability Logic and Admissible Rules'', was jointly promoted by

Anne Sjerp Troelstra Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. He was a Constructivism (mathem ...

Dick de Jongh Dick Herman Jacobus de Jongh (born 19 October 1939, Enschede) is a Dutch logician and mathematician and a retired professor at the University of Amsterdam. He received his PhD degree in 1968 from the University of Wisconsin–Madison under supervi ...

, and Albert Visser. She was a postdoctoral researcher at the

University of California, San Diego The University of California, San Diego (UC San Diego in communications material, formerly and colloquially UCSD) is a public university, public Land-grant university, land-grant research university in San Diego, California, United States. Es ...

and a Marie Curie Fellow at

TU Wien TU Wien () is a public research university in Vienna, Austria. The university's teaching and research are focused on engineering, computer science, and natural sciences. It currently has about 28,100 students (29% women), eight faculties, and ...

, before becoming an assistant professor at Utrecht University in 2006. She was promoted to associate professor in 2010 and full professor in 2019.

References

{{DEFAULTSORT:Iemhoff, Rosalie 1969 births Living people Dutch logicians Women logicians Dutch women philosophers Dutch women mathematicians Mathematical logicians Proof theorists University of Amsterdam alumni Academic staff of Utrecht University