Undervisning 1996 - VT 2007. (Teaching 1996 - Spring 2007).

• Toposteori I & II. PhD course 2006/2007
• Mängdlära, 3p, ht-05 (forskarutbildningskurs). [Set Theory]
• Algoritm- och komplexitetsteori MN1, vt-05. [Theory of Algorithms and Complexity MN1]
• Konstruktiv logik och lambdakalkyl D, ht-02, ht-04. (Constructive Logic and Lambda Calculus)
• Tillämpad logik DV1, ht-00, ht-01, ht-02, vt-04, vt-06. (Applied Logic)
• Modell- och mängdteori D, ht-03 (med Marko Djordjevic). (Model Theory and Set Theory)
• Analysens grundvalar , ht-03 (med Anders Öberg). (Foundations of Analysis)
• Logical frameworks, ht-03 -- PhD-course.
• Domänteori MN1, vt-02 (Domain Theory)
• Algebra DV2 (endast kompletterande material)
• Informations- och kodningsteori (IT3), vt-00, vt-07 (Information and Coding Theory)
• Modell- och mängdteori D, ht-99
• Mängdteori för matematiker, ht-99 (Set Theory for Mathematicians)
• Logik och bevisteknik DV1, vt-99 (Logic and Proof-techniques)
• Toposteori, vt-99 (Topos Theory)
• Diskret matematik, ITP, ht-96, ht-97 (Discrete Mathematics)
• Konstruktiv matematik (föreläsningsanteckningar för sommarskolan "Copenhagen Logic Summer School 1997"). (Constructive Mathematics)