Materials for courses you taught. Replace this text with your description.


  • Introductory Programming (Graduate course), IT University of Copenhagen. Fall 2019, 2020
  • Testing and veri cation of embedded systems (Graduate course), Halmstad University. Spring 2019

Teaching Assistant:

  • Data Security for Embedded Systems (Undergraduate course), Halmstad University. Winter 2017, Winter 2018
  • Real-Time Embedded Systems (Graduate course), Halmstad University. Fall 2014, Fall 2016, Fall 2017,Fall 2018
  • Advanced Object Oriented Programming (Undergraduate course), Halmstad University. Spring 2015, Spring 2016, Spring 2017
  • Distributed Systems Programming (Undergraduate course), Halmstad University. Fall 2018
  • Formal Modeling and Veri cation (Graduate course), University of Tehran. Fall 2012, Fall 2013

Thesis Supervision:

  • PhD thesis: Automatic Program Repair for Linux, IT University of Copenhagen, Feb 2019-present (Co-supervised) Student: Alfredo Cruz
  • Master thesis: Finding Resource Manipulation Bugs with Monitor Automata on the Example of the Linux Kernel, IT University of Copenhagen, Jan 2020-now (Co-supervised) Student: Anders Fischer-Nielsen
  • Bachelor Thesis: Embedded System Design for Autonomous Drones. (As a part of 2018 Student CPS Challenge.) Halmstad University, 2018. Students: Emil Johansson, Patrick Karlsson
  • Master Thesis: Generating Test Adapters for ModelJunit. Halmstad University, 2017. (Cosupervised) Student: Ardalan Hashemi Aghdam
  • Bachelor Thesis: On Efficiency and Effectiveness of Model-based Test Case Generation Techniques by Applying the HSI Method: An Experimental Research. Gothenburg University, 2016. (Cosupervised) Students: Mahsa Abbasian, Sali El Masr