COMP2600: Formal Methods for Software Engineering
The 2011 Archive
The Lecturers
- Dr. Jeremy Dawson
- Dr. Ranald Clouston
- Dr. Malcolm Newey
The Tutors
- Aditi Barthwal
- Ivan Miljenovic
- Linda Postneice
- Jimmy Thomson
The Final Results
119 students enrolled; 110 completed; 96 passed.
The average of marks for completing students was 63.2 %.
The following histogram gives the number
of students in each marks decile.
It shows, for example,
that 36 students were in the HD range (80-100, inclusive).
