Erik Palmgren's homepage
As of September 1, 2011, I am professor of mathematical logic at Stockholm University. My previous affiliation was Uppsala University (except for shorter stints at Amsterdam, Gothenburg, Munich and Utrecht)
where I was senior lecturer since 1997 and promoted professor since 2003. I have supervised three PhDs at Uppsala (Johan Granström, Anton Hedin, Olov Wilander), two at Stockholm University (Christian Espindola, Håkon Robbestad Gylterud), and a number
of master theses.
CV
Research interests
Among my research interests are
- Type theory and its models. The relation between type theory and homotopy theory.
- Categorical logic and category-theoretic foundations.
- Constructive mathematics, especially formal topology and reverse constructive mathematics.
- Nonstandard analysis, especially its constructive aspects.
- Philosophy of mathematics.
List of publications.
Recent preprint(s):
Research group
The logic group at the department consists at the moment of
- Per Martin-Löf, professor (emeritus).
- Erik Palmgren, professor
- Roussanka Loukanova, PhD, researcher
- Henrik Forssell, PhD, researcher (25%)
- Peter LeFanu Lumsdaine, PhD, assistant professor
- Christian Espíndola, PhD, researcher
- Håkon Robbestad Gylterud, PhD, researcher
- Jacopo Emmenegger, PhD student
- Johan Lindberg, PhD student
- Anna Giulia Montaruli, PhD student
Former members of logic group (2012 -)
- Erkki Luuk, guest researcher (Swedish Institute)
- Olov Wilander, postdoc
Regular courses in mathematical logic at the department
(partly outdated - see department course pages)
Irregular courses in mathematical logic and related subjects at the department
Notes and Slides
- Bishop's set theory Slides from TYPES Summer School 2005, Gothenburg.
- Slides from Tutorial at Fourth Workshop on Formal Topology, Ljubljana 15 -19 June, 2012.
- Slides from Tutorial at Conference on Constructive Mathematics: Foundations and Practice, Nis, 24 - 28 June. 2013.
- Slides from The Logic Seminar in Stockholm 18 September 2013.
- Slides from workshop on Constructive Mathematics and Models of Type Theory. I.H.P. Paris 3 June 2014. (Corrected version.)
- Slides for workshop on Type Theory and Formalization of Mathematics, Chalmers/Göteborg University, 11 December 2014.
- Slides for a talk at the Workshop on Categorical Logical and Homotopy Type Theory, Leeds 27-29 July 2016.
- Intuitionistic Ramified Type Theory,
Slides for a talk at the Logic Seminar, Department of Philosophy, Göteborg University, 24 February 2017.
Some links
March 1, 2017, Erik Palmgren. Email: palmgren [at] math (dot) su {dot} se