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

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:

  • Anna Brunzell (anna.brunzell@live.se)
  • David Hagerman Olzon (olzond@student.chalmers.se)
  • Gabriel Lindeby (gablinde@student.chalmers.se)
  • Ramkumar Venkatesh (ramkumarvenkatesh88@gmail.com)
  • Yonca Yunatci (yyunatci95@gmail.com)
  • N.N. (name@student.gu.se)
  • N.N. (name@student.gu.se)
  • To support their task, please approach them with any comments and feedback you may have about the course.





    W. Ahrendt, Sep 1, 2019