The Australian National University
College of Engineering and Computer Science
School of Computer Science
COMP2600
Home
Lectures
Tutorials
Assignments
Reference Material
Haskell
People
Outline & Assessment
Discussion Forum
Lecture Recordings (Wattle)
Marks (Streams)
Quick Links
ANU Home
CECS Home
SoCS Home
Search
Printer Friendly Version of this Document
High Performance Scientific Computing COMP2600

COMP2600: Formal Methods for Software Engineering

Personnel

  • Lecturer: Clem Baker-Finch
  • Tutors: Malcolm Newey, Aditi Barthwal, Jack Kelly, James Barker, Ben Lippmeier
Please direct all enquiries to: comp2600@cs.anu(.edu.au)
Page authorised by Head of SoCS
The Australian National University — CRICOS Provider Number 00120C