Organisation profile: Computer Sciences Laboratory, Australian National University

---

In its present form, the Computer Sciences Laboratory was
formed in December 1998 from a merger of three groups in the Research
School of Information Sciences and Engineering: the Automated
Reasoning Project, the Learning Systems Group from the Systems
Engineering Department, and the old Computer Sciences Laboratory. The
Laboratory is a Department in RSISE and currently has 10 staff
members, 6 visiting fellows, 6 general staff, 1 adjunct professor, and
16 post-graduate students, as well as a number of visitors. Activities
in the Laboratory come under three headings: Research, Teaching and
Learning, and Outside Interactions.