Teaching

Teaching Portfolio

• Teaching portfolio

Octber 2022 – now

• Head of Studies

Autumn 2022

• Vice Head of Study
• Semester coordinator for Sw5
• Coordinator of two multi-projects on Sw5

Spring 2022

• Vice Head of Study
• Supervision of a master student
• Supervision of a Sw6 group project in collaboration with HMK Bilcon

Autumn 2021

• Vice Head of Study
• Supervision of 1 master student
• Semester coordinator for Sw5
• Involved in specialization courses in Distributed Systems and in Semantics and Verification
• Organiser of and one of the teachers on the PhD course From Timed Automata to Stochastic Hybrid Games – Model Checking, Synthesis, Refinement, Performance Analysis and Machine Learning (2021)

Spring 2021

• Vice Head of Study
• Supervision of 6 master thesis students in 4 groups

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
• Vice Head of Study, starting October

Spring 2020

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

Autumn 2019

• Test and Verification (2019E) TOV
• Supervisor on Dat8
• Continued Master Thesis supervisor

Spring 2019

• Test and Verification (2019F) TOV
• Master Thesis supervisor for 8 student in 4 groups
• Supervisor on Dat7

Spring 2018

• Test and Verification (2018) TOV
• Management of multi project on Sw6 (giraf.cs.aau.dk)
• Continued Master Thesis supervision

Autumn 2017

• Supervision of four master students on creating an Ecdar GUI

Spring 2017

• Management of multi project on Sw6 (giraf.cs.aau.dk)

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

• Test and Verification (2016) TOV
• Semester coordinator for Sw6 (together with Bin Yang)
• Supervision of three Sw6 groups
• Management of multi project on Sw6 (giraf.cs.aau.dk)

Autumn 2015

• No teaching.

Spring 2015

• Test and Verification (2015) TOV
• Semester coordinator for Sw6
• Supervision of two Sw6 groups
• Management of multi project on Sw6 (giraf.cs.aau.dk)
• Supervision of one ESS10 master student

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