COMP2600: Formal Methods for Software Engineering - 2012

Academic Staff

Course Coordinator:

Rajeev Gore, (Rajeev.Gore@anu.edu.au) Room B260, RSISE Building, phone 56803

Lecturers

Ranald Clouston, (Ranald.Clouston@anu.edu.au) Room B220, RSISE Building, phone 57030
Malcolm Newey, (Malcolm.Newey@anu.edu.au) Room N318, CSIT Building, phone 54506
Linda Postniece, (Linda.Postniece@anu.edu.au)

Note that some of us are part-time - it is best to make an appointment to see us. We will try to respond to emails promptly. If your email concerning COMP2600 is not to a particular staff member, then it should be addressed to comp2600@cs.anu.edu.au.

Tutors

Aditi Barthwal
Ivan Miljenovic
Jarrah Bloomfield
Teresa Bradbury
Zhe Hou


	College of Engineering and Computer Science Research School of Computer Science