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 (ulze@chalmers.se)
  • Erik Hermansson (erik.hermansson@gmail.com)
  • John Lind (johnli@student.chalmers.se)
  • Heyu Qin (heyu@student.chalmers.se)
  • Erik Thorsson Högfeldt (erikhog@student.chalmers.se)
  • Robert Krook (guskrooro@student.gu.se)
    •  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