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

The Lecturer

  • Dr. Clem Baker-Finch

The Tutors

  • James Barker
  • Aditi Barthwal
  • Jack Kelly
  • Ben Lippmeier
  • Malcolm Newey

The Final Results

115 students enrolled; 106 completed; 92 passed.
The average of marks for completing students was 64.3 %.
The following histogram gives the number of students in each marks decile.
It shows, for example, that 23 students were in the HD range (80-100, inclusive).