I have moved to the Department of Computer Science (DIKU) at the University of Copenhagen and also have a part-time affiliation with the Department of Computer Science at Lund University. For now, this webpage still resides at KTH and is being being updated here, but this should change in a not too distant future.

Teaching at the University of Copenhagen / Undervisning på Köpenhamns universitet

2021/22

Computability and Complexity (CoCo) (7.5 ECTS credits) block 3
Discrete Mathematics and Formal Languages (DMFS) (7.5 ECTS credits) block 3
Logics in Computer Science (LICS) (7.5 ECTS credits) block 2

2020/21

Discrete Mathematics and Algorithms (DMA) (15 ECTS credits) blocks 1-2
Discrete Mathematics and Formal Languages (DMFS) (7.5 ECTS credits) block 3

2019/20

Discrete Mathematics and Formal Languages (DMFS) (7.5 ECTS credits) block 3

Teaching at KTH / Undervisning på KTH

2018/19

Ingen undervisning på grund av sabbatstermin under hösten på Simons Institute for the Theory of Computing på UC Berkeley där jag deltar i temaprogrammet Lower Bounds in Computational Complexity.

No teaching due to an autumn sabbatical at the Simons Institute for the Theory of Computing at UC Berkeley taking part in the semester program Lower Bounds in Computational Complexity.

2017/18

Lärare på följande kurser / Lecturer on the following courses:

DD2445 Complexity Theory (7.5 ECTS credits) period 1-2
Gästföreläsning på / Guest lecture on DD1350 Logik för dataloger / Logic for Computer Science (6 ECTS credits) period 1-2

2016/17

Lärare på följande kurser / Lecturer on the following courses:

DD2442 Seminars on Theoretical Computer Science: Proof Complexity (7.5 ECTS credits) period 1-2
Gästföreläsning på / Guest lecture on DD1350 Logik för dataloger / Logic for Computer Science (6 ECTS credits) period 1-2

2015/16

Lärare på följande kurser / Lecturer on the following courses:

DD2445 Complexity Theory (7.5 ECTS credits) period 1-2
Gästföreläsning på / Guest lecture on DD1350 Logik för dataloger / Logic for Computer Science (6 ECTS credits) period 1-2
International Summer School on Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning, June 27 – July 2, Lisbon, Portugal

2014/15

Lärare på följande kurser / Lecturer on the following courses:

DD2442 Seminars on Theoretical Computer Science: Algebraic Gems in TCS (7.5 ECTS credits) period 1-2
Gästföreläsning på / Guest lecture on DD1350 Logik för dataloger / Logic for Computer Science (6 ECTS credits) period 1-2

2013/14

Lärare på följande kurser / Lecturer on the following courses:

DD2446 Complexity Theory (6 ECTS credits) period 1

2012/13

Lärare på följande kurser / Lecturer on the following courses:

DD2441 Seminars on Theoretical Computer Science: Communication Complexity (6 ECTS credits) period 1

2011/12

Lärare på följande kurser / Lecturer on the following courses:

Gästföreläsningar på / Guest lectures on DD2446 Komplexitetsteori / Complexity Theory (6 ECTS credits) period 1
Gästföreläsning på / Guest lecture on DD2440 Avancerade algoritmer / Advanced Algorithms (6 ECTS credits) period 1-2
DD3501 Current Research in Proof Complexity (9 ECTS credits) period 2-3
Estonian Winter School in Computer Science (EWSCS '12), February 26 – March 2, Palmse, Estonia

2010/11

Ingen undervisning. / No teaching.

2008/09 & 2009/10

Postdok-forskare på MIT. / Postdoctoral researcher at MIT.

2006/07 & 2007/08

Ingen undervisning på grund av annan institutionstjänstgöring. / No teaching due to other departmental duties.

2005/06

Assistent på följande kurser / Teaching assistant on the following courses:

2D1440 Avancerade algoritmer / Advanced Algorithms (4 p) period 2,
2D1352 Algoritmer, datastrukturer och komplexitet / Algorithms, Data Structures and Complexity (6 p) period 3-4.

2004/05

Assistent på följande kurser / Teaching assistant on the following courses:

2D1344 Grundläggande datalogi / Fundamentals of Computer Science (4 p) period 2-3,
2D1352 Algoritmer, datastrukturer och komplexitet / Algorithms, Data Structures and Complexity (6 p) period 3-4.

2003/04

Assistent på följande kurser / Teaching assistant on the following courses:

2D1344 Grundläggande datalogi / Fundamentals of Computer Science (4 p) period 2-3,
2D1352 Algoritmer, datastrukturer och komplexitet / Algorithms, Data Structures and Complexity (6 p) period 3-4,
2D1446 Komplexitetsteori / Complexity Theory (4 p) period 4.

2002/03

Assistent på följande kurser / Teaching assistant on the following courses:

2D1344 Grundläggande datalogi / Fundamentals of Computer Science (4 p) period 2-3,
2D1352 Algoritmer, datastrukturer och komplexitet / Algorithms, Data Structures and Complexity (6 p) period 3-4.