Teaching

• Hardware Description and Verification, vt 09, vt 10.
• Kompilatorkonstruktion, vt 00 (together with Niklas Röjemo), vt01.
• 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