Teaching

An overview of my teaching experience.

Lecturer:

  • Introductory Programming (Graduate course), IT University of Copenhagen. 2019-present
  • Testing and verification of embedded systems (Graduate course), Halmstad University. 2019-present

Thesis Supervision:

  • PhD thesis: PhD Thesis: Model-Based Probabilistic Testing for System-level Safety of Underwater Vision-controlled Robot, IT University of Copenhagen, Aug 2021-present (Supervisor) Student: Sergio Daniel Quijano
  • PhD thesis: PhD Thesis: Formal Methods for Safety Reliability and Explainability of Reinforcement Learning, IT University of Copenhagen, Nov 2021-present (Co-supervised) Student: Mohsen Ghaffari
  • PhD thesis: Automatic Program Repair for Linux, IT University of Copenhagen, Feb 2019-present (Co-supervised) Student: Alfredo Cruz -Master thesis: Efficient Regression Testing in Continuous Integration Pipelines. An Industrial Case Study, IT University of Copenhagen, Sep 2021-June 2022 (Supervisor) Student: Diego Joshua Martínez Pineda
  • 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: Enhancing Automatic Bug Finding using Symbolic Execution. IT University of Copenhagen, Feb 2022-present. (Supervisor) Student: Esben Brøndum Højris
  • 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. (Co-supervised) 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. (Co-supervised) Students: Mahsa Abbasian, Sali El Masr

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