The Australian National
      University
College of Engineering and Computer Science
Research School of Computer Science
Printer Friendly Version of this
    Document
Formal Methods for Software Engineering - COMP2600

COMP2600: Formal Methods for Software Engineering

The 2010 Archive

The Lecturers

  • Dr. Malcolm Newey
  • Dr. Jeremy Dawson

The Tutors

  • Alex Mason
  • Ivan Miljenovic
  • Gareth Oliver
  • Jimmy Thomson

The Final Results

124 students enrolled; 114 completed; 101 passed.
The average of marks for completing students was 63.0 %.
The following histogram gives the number of students in each marks decile.
It shows, for example, that 27 students were in the HD range (80-100, inclusive).