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.

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

Recent preprint(s):

- Categories with families, FOLDS and logic enriched type theory , May 2016, 99 pp.
- The Grothendieck construction and models for dependent types , March 2013/May 2016, 23 pp.
- Named variables in categories with families December 2014.
- (with Olov Wilander) Constructing categories and setoids of setoids in type theory, March 2013. Revised version June 2014.
- Yet another category of setoids with equality on objects, April 2013. Revised version July 2014.

- 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

- Erkki Luuk, guest researcher (Swedish Institute)
- Olov Wilander, postdoc

- Logic - a first course presenting the semantics and a deductive system of predicate logic, including the completeness theorem and its consequences.
- Type Theory.
- Computability and Constructive Mathematics - gives a high level introduction to dedicability, computability and constructivity in mathematics.
- Set theory and Forcing, Fall 2014. (Advanced level/PhD-level.)
- Metamathematics and Proof Theory, Spring 2015. (Advanced level/PhD-level.)

- Category Theory, Spring 2014.
- Infinity-Categories and Homotopy Type Theory, Fall 2014
- Logics for Linguistics, Fall 2014.

- 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&aouml;teborg University, 11 December 2014.
- Slides for a talk at the Workshop on Categorical Logical and Homotopy Type Theory, Leeds 27-29 July 2016.

- The Stockholm Logic Seminar
- Logic at Uppsala
- Philosophy of Language, Logic and Mathematics at the Philosophy Department of Stockholm University
- Theoretical Computer Science at the Royal Institute of Technology
- Stockholm Mathematics Center
- Scandinavian Logic Society

*February 13, 2017, Erik Palmgren.* Email: palmgren [at] math (dot) su {dot} se