COMP2600: Formal Methods for Software Engineering - 2013

Personnel

• Course Coordinator: Rajeev Gore, Room B260, RSISE Building, phone 56803
• Lecturers:
  • Ranald Clouston, Room B220, RSISE Building, phone 57030
  • Jinbo Huang,
  • Dirk Pattinson, Room B247, RSISE Building, phone 57778
  • Linda Postniece,
• Tutors:
  • Jarrah Bloomfield - email: jarrah.bloomfield@anu.edu.au
  • Tessa Bradbury - email: u4667503@anu.edu.au
  • Zhe Hou - email: u4811244@anu.edu.au
  • Alex Mascolo - email: alexander.mascolo@anu.edu.au
  • Ivan Miljenovic - email: Ivan.Miljenovic@gmail.com