Courses

Autumn 2022

Lecturer in Introduction to Theoretical Computer Science.

Spring 2022

Tutor in Information Theory.

Autumn 2021

Lecturer in Computational Complexity.

Lecturer in SAT Solving: between theory and practice.

Autumn 2019

Guest lecturer in Random Graphs.

Spring 2018

Short series of lectures on Proof Complexity as part of Concrete Lower Bounds.

Autumn 2016

Guest lecturer in Proof Complexity

Autumn 2015

Teaching assistant for Programsystemkonstruktion med C++

Teaching assistant for Problemlösning och programmering under press

Teaching assistant for Advanced algorithms

Autumn 2014

Teaching assistant for Programsystemkonstruktion med C++

Teaching assistant for Problemlösning och programmering under press

Teaching assistant for Advanced algorithms

Autumn 2013

Teaching assistant for Programsystemkonstruktion med C++

Teaching assistant for Advanced algorithms

Spring 2013

Teaching assistant for Problemlösning och programmering under press

Programming competitions

2013 — 2017

Coach for the KTH programming teams.

Tools

• D2L FIB Editor. A robot that creates fill-in the blanks type questions following the same template in D2L.