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

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:

  • Zeeshan Ul Hassan Dar (
  • Erik Hermansson (
  • John Lind (
  • Heyu Qin (
  • Erik Thorsson Högfeldt (
  • Robert Krook (
  • To support their task, please approach them with any comments and feedback you may have about the course.

    Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt, Sep 18, 2018