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 PhD theses at Uppsala 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):

- (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
- Henrik Forssell, postdoc
- Peter LeFanu Lumsdaine, postdoc
- Erkki Luuk, guest researcher (Swedish Institute)
- Jacopo Emmenegger, PhD student
- Christian Espíndola, PhD student
- Håkon Robbestad Gylterud, PhD student

- Logic - a first course presenting the semantics and a deductive system of predicate logic, including the completeness theorem and its consequences. Next course starts Fall 2014.
- Type Theory. Course start: Second half of Fall 2013.
- 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.) Course start September 1 2014.
- 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. To be announced.

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

- 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
- Joint master programme in mathematics at KTH and Stockholm University
- Gemensamt masterprogram i matematik vid KTH och Stockholms universitet

*August 31, 2014, Erik Palmgren.* Email: palmgren [at] math (dot) su {dot} se