Rosalie Iemhoff (born 1969) is a Dutch logician whose research interests include intuitionistic logic and

proof theory Proof theory is a major branchAccording to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Jon Barwise, Barwise (1978) consists of four correspo ...

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

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

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

Journal of Philosophical Logic The ''Journal of Philosophical Logic'' is a bimonthly peer-reviewed academic journal covering all aspects of logic. It was established in 1972 and is published by Springer Science+Business Media. The editors-in-chief are Rosalie Iemhoff (Utrecht ...

''.

Education and career

After earning a master's degree in mathematics from the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being ...

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

promoted Promotion may refer to: Marketing * Promotion (marketing), one of the four marketing mix elements, comprising any type of marketing communication used to inform or persuade target audiences of the relative merits of a product, service, brand or i ...

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 super ...

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

University of California, San Diego The University of California, San Diego (UC San Diego or colloquially, UCSD) is a public university, public Land-grant university, land-grant research university in San Diego, California. Established in 1960 near the pre-existing Scripps Insti ...

and a Marie Curie Fellow at

TU Wien TU Wien (TUW; german: Technische Universität Wien; still known in English as the Vienna University of Technology from 1975–2014) is one of the major universities in Vienna, Austria. The university finds high international and domestic recogn ...

, 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 University of Amsterdam alumni Academic staff of Utrecht University