Kim Marriott
I lead the Adaptive
Diagrams and Documents Laboratory which is part of the Center
for Research into Intelligent Systems (CRIS). Our aim is to provide the
technical basis for moving away from a print-based view of documents and their
content to one that takes more advantage of the capabilities of electronic
media. We want to provide the
technology for creating intelligent documents and diagrams whose appearance
adapts to their viewing environment and to 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. We also want
to support interaction, annotation and dynamic content.
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 notations.
We have built a number of tools which automatically generate an incremental
parser from a grammatical specification of a visual notation, the latest of
these is CIDER. My newest project (with Bernd Meyer) is
to extend these techniques to provide generic interpretation of hand-drawn
sketches in pen-based computing application.
I am also
interested in constrained optimization methods for graphical layout. Important
application areas are for adaptive document and diagram layout and also for
diagramming authoring tools. 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 where I am involved in the design of the Zinc modeling language. 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.
I am involved
with the following journals and conferences that you might be interested in:
Contact Details