Teaching

Autumn 2020

  • Supervisor of 7 Master Thesis students in 5 groups
  • Management of multi project on Sw5 (giraf.cs.aau.dk)
  • Involved in specialization courses in Distributed Systems and in Semantics and Verification

Spring 2020

  • Supervisor on Dat8 and continued Master Thesis supervision
  • Management of multi project on Sw6 (giraf.cs.aau.dk)

Autumn 2019

Spring 2019

Spring 2018

Autumn 2017

  • Supervision of four master students on creating an Ecdar GUI

Spring 2017

Autumn 2016

  • Introductory Programming for IT Design and Application Development 7 (IDA7)
  • Supervision of two master students on creating a Hierarchical Uppaal GUI

Spring 2016

Autumn 2015

  • No teaching.

Spring 2015

Autumn 2014

  • Supervision of ESS9 student

Spring 2014

  • Test and Verification (2014) TOV
  • Semester coordinator for Sw6
  • Supervision of one Sw6 groups
  • Management of multi project on Sw6
  • Supervision of one Sw8 group

Autumn 2013

  • Supervision of 6 Dat1 groups

Spring 2013

  • Semester coordinator for Sw6
  • Supervision of two Sw6 groups
  • Management of multi project on Sw6

Spring 2012

Autumn 2011

Spring 2011

Autumn 2010

Spring 2010

Autumn 2009

Spring 2009

Autumn 2008

Spring 2008

Comments are closed.