Kim Marriott
I am co-director of the Optimisation and
Constraint Solving Research Group. This research group is devoted to
solving difficult optimisation and constraint satisfaction problems such as
scheduling, timetabling and graph and document layout and to the development of
tools and techniques which facilitate this.
Main Research Areas
I have four main research areas.
I am interested in how we can
formalise understanding and reasoning with diagrammatic notations such as
finite state diagrams or house plans. In particular, grammatical and logical
approaches to the specification and recognition of such visual languages. We
have built a number of tools which automatically generate an incremental parser
from a grammatical specification of a visual language, the latest of these is CIDER. For more
information about visual languages and their grammatical specification see Visual Language
Theory .
I am also interested in how to use
constraints in graphics to provide more flexible, intelligent diagramming
environments. One important application is to provide more flexible,
interactive document and diagram layout for the web, allowing documents to
adapt to the viewing environment and user requirements. For instance an organization
chart needs to be displayed in quite different ways on a PDA and on a laptop
and in a very different way to someone who is blind. Support for constraint
solving in such interactive graphical applications is provided by the QOCA constraint solving
toolkit.
My third area of research is
developing programming languages and methodologies for solving combinatorial
optimisation and satisfaction problems. One project is the NICTA G12
project. For more information about Constraint Programming Languages see Programming with Constraints:
An Introduction.
My final area of research is
analysis and optimisation of programs, in particular, for constraint and logic
programming languages.
See
my selected publications list for more
details.
Professional
Activities
I am involved with the following
journals and conferences that you might be interested in:
- Journal of Visual
Languages and Computing
- IEEE Symposium on Visual
Languages and Human-Centric Computing 2006
- Diagrams 2006 - Fourth International Conference on the Theory and Application of Diagrams
- 2006
International Workshop on Visual Languages and Computing (VLC2006)
Contact Details
- Phone: (+61 3) 9905 5525
- Fax: (+61 3) 9905 5146
- e-mail: Kim.Marriott@infotech.monash.edu.au
- h-mail: Clayton School of IT, Monash University, Vic 3800,
Australia.