Logic and Theory
Interests include:
- 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.
People with a primary research interest in this group
People with research interests in this group
