- logic programming, and its recent extension, constraint logic programming (CLP)
- CLP semantics, implementation and applications
- in particular, a joint project with Melbourne University is devoted to developing a second generation CLP language, HAL
- visual language theory, that is to say the theory of languages with two dimensional syntax, such as mathematical equations or state transition diagrams, both theory and applications are investigated
- algorithms and computational complexity
- optimisation
- theory of inductive inference
- extracting (correct) programs from mathematical proofs

This group has connexions with logicians and computer scientists in the department of Mathematics and the Gippsland School of Computing and Information Technology.

Staff | Graduate students |
---|---|

John N. Crossley | Sitt Sen Chok |

Graham Farr | Stephen Murphy |

Kim Marriott | David Wood |

Lloyd Allison | |

Maria Garcia de la Banda |

Staff | Graduate students |
---|---|

Heinz Schmidt | Torsten Seemann |

Andrew Blucher | Grace Rumantir |

David Dowe | Tim Hastings |