COMP2600: Formal Methods for Software Engineering - 2011

Personnel

• Course Coordinator: Rajeev Gore, Room B260, RSISE Building, phone 56803
• Lecturers:
  • Jeremy Dawson, Room B247, RSISE Building, phone 57778
  • Malcolm Newey, Room N318, CSIT Building, phone 54506
  • Ranald Clouston, Room B220, RSISE Building, phone 57030
• Tutors:
  • Jimmy Thomson
  • Ivan Miljenovic
  • Aditi Barthwal
  • Linda Postniece