Formal Methods for Software Development TDA294/DIT271, LP1, HT2020

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:

  • Sebastian Hafström (
  • Philip Nord (
  • Vallisha Somayagi (
  • Mohammad Jasim Uddin (
  • Riccardo Zanetti (
  • To support their task, please approach them with any comments and feedback you may have about the course.

    W. Ahrendt, Aug 27, 2020