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 Verication (Graduate course), University of Tehran. Fall 2012, Fall 2013