Logic and Computation Group: Research Activities
Some of the group's research activities are in the form of clearly
defined projects. NICTA projects especially are of this sort. Other
activities are less heavily managed. The links on this page go to
descriptions of a range of activities, some long-term and some short,
some highly collaborative and some more individual. More detail of our
research may be found on the home pages of group members. Most maintain
lists of publications and other data.
Not all student research projects are listed here. For descriptions of
curent PhD projects, see the home pages of the individual students.
