The Australian National University
CSL Home | CECS Home | ANU Home | Search ANU | HORUS | Staff Home

Logic and Computation Group: Education

Education

The Logic and Computation group is located in the Institute of Advanced Studies, rather than in the teaching faculties, and so is not directly responsible for teaching undergraduate courses. The education mission of the College of Engineering and Computer Science is nonetheless very important to it.

Most of our students are studying towards the PhD, though we also teach a range of Masters courses and are involved from time to time in undergraduate teaching.

Both ANU employees and NICTA staff with adjunct status at the ANU are available to supervise PhD students. Features of PhD study here include:

  1. Each PhD student has a panel of at least three advisors, making for access to a range of expertise and minimising the likelihood of "personality clash" issues.
  2. PhD students normally spend the first year enrolled in the Master of Information and Communication Technology (MICT) degree program. This gives them a year's postgraduate study before they embark on their three years of research. It also means they graduate with a Masters degree as well as the PhD.
  3. Students have the opportunity to get involved in NICTA projects, which often have collaborators from industry or from overseas and which can lead to commercialisation of the research.
  4. Students are encouraged to go outside the group to broaden their experience. We support out-placements in industry and in other research labs, usually overseas. We also regularly support students' participation in national and international conferences and workshops in their research field.

Current Students A list of the students currently in the group, with brief descriptions of their projects and links to their home pages.
Courses The courses we have offered recently or will offer soon, with links to some course materials and enrolment details.
Available Projects A sample of projects for which potential supervisors are currently seeking suitable students. This is indicative of what is on offer, not an exhaustive list.
Summer School We run a summer school every year in December, covering aspects of logic and its applications. This is open to everyone.
Logic for Fun A totally spam-free web site providing what it says in the title. You too can have an account on it, for around the price of a second-hand logic textbook.
Picture: "Shcool". Origin unknown; widely circulated on the Web.