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 2006 Archive

The Lecturers

  • Dr. Malcolm Newey
  • Dr. Jeremy Dawson

The Tutors

  • Aditi Barthwal
  • Jeremy Dawson
  • Chris Monteith
  • Malcolm Newey
  • Connell O'Neill

The Final Results

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