The Australian National University
CSL Home | CECS Home | ANU Home | Search ANU | HORUS | Staff Home
Computer Sciences Laboratory
ANU College of Engineering and Computer Science   
CSL
Home
Search CSL
Login
People
Academic & Adjunct Staff
General Staff
Graduate Students
Visitors
Summer Scholars
Research
Diagnosis, Planning and Optimisation
Research Areas
Student Projects
Software
Papers
Team Members
Logic and Computation
Artificial Intelligence
Postgraduate Studies
Potential PhD Students
Coursework
PhD Monitoring
PhD Scholarships
Info for current students
Summer Schools
Logic Summer School
Community
Travel
CECS OHS
ANU OHS
Useful Links
Useful Tools

Team Members
Please direct all enquiries for this website to:
Page authorised by: Head of Department, CSL
Updated: 12 September, 2009. Page viewed 9308 times.
The Australian National University
CRICOS Provider Number 00120C — ABN: 522 34063906