Teaching

• Databases (TDA357/DIT621), vt 2020.
• Introduction to Functional Programming (TDA555), ht 2019.
• Functional Programming (TDA452), ht 2016, ht 2017, ht 2018.
• Hardware Description and Verification, vt 2009, vt 2010.
• Kompilatorkonstruktion, vt 2000 (together with Niklas Röjemo), vt 2001.
• E1 Datoranvändning ht 98, ht 99, (part of Introduktion till Elektroteknik).
  (Taught by Henrik Lindgren in ht 00. Previously taught by Magnus Bondesson.)
• Maskinnära programmering, ht 90, ht 91, ht 92, ht 93, ht 94.
• Programmering för naturvetare, del 2, vt 90, vt 94, vt 95.
• Topics in Functional Programming. Part of the Introduction to Computing Science Research course, ht 98.
• D3 project proposals: ht 99 / vt 00, ht 01 / vt 02.
• Supervision of projects