2D1452 Formal Methods, VT07
Course Evaluation: Results
In the questions below, please use the following numeric evaluation
scheme:
1 very bad, 2 bad, 3 rather bad, 4 rather good,
5 good, 6 very good.
General Questions
1: How well was the course goal made clear at the beginning of the
course? [5.0]
2: How would you evaluate the course book? [4.25]
3: How useful did you find the course web pages? [5.4]
Lectures and Tutorials
4: What percentage of lectures did you attend? [85%]
5: What use did you have of the lectures and tutorials? [5.2]
6: How well did the exercise sessions fit the material covered in the
lectures? [5.7]
7: How was the lecturer didactically speaking? [5.6]
8: How enthusiastic and motivated was the lecturer? [5.8]
9: How well did the lecturer answer questions? [5.1]
10: How friendly and helpful was the lecturer during breaks, in
e-mails, etc? [5.3]
11: Did the lecturer use available tools appropriately (OH, video, etc)? [5.6]
Lab Assignments
12: What use did you have of the lab assignments? [4.8]
13: How well did the lab assignments fit the material covered in the
lectures? [5.1]
Environment
14: How was the lecture room concerning light, acoustics, and air? [5.2]
General
15: How meaningful do you consider the course? [4.5]
16: Did you have all prerequisite knowledge for the course? [yes]
17: Your suggestions for improving the course:
- Have
tutored labs
- Try to
cover less material
- Put more
time on the theoretical part of the course
- More Hoare
logic, less CCS
- More
example problems
- Either use
book more or abandon it entirely
18: Other comments: