Now, I'm teaching (with Martin Stigge):

• Real Time Systems, 2011 HT (5hp and 10hp)

I also teach Ph.D. courses:

• Modelling and Verification, Trento, Italy, 2007
• Introduction for New Ph.D. Students in IT, 2009