Formal Methods for Software Development TDA294/DIT272, LP1, HT2023

Course Evaluation

Student Representatives

For the purpose of course evaluation, a number of student representatives will have the role of giving feedback to the teacher.

We are grateful to have the following students as course representatives:

  • Mojtaba Ataie (mojtaba.ataie99@gmail.com)
  • Bassam Kaddoura (BsmKdd@outlook.com)
  • Chonghan Li (lichonghan17@gmail.com)
  • Li Tao (taolinicholas@outlook.com)
  • Shireen Yusur (shireen.yusur@gmail.com)
  • To support their task, please approach them with any comments and feedback you may have about the course.





    W. Ahrendt