|
Logic and Computation Group: 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:
-
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.
-
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.
-
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.
-
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.
|
|