I am currently the Head of the Clayton School of IT. I also lead the Adaptive Diagrams and Documents Laboratory. This is part of the Center for Research into Intelligent Systems (CRIS). We are investigating how to best move 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 interactive 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.
§ Human use of visual languages. I am interested in how humans comprehend and reason with two-dimensional visual languages such as mathematics, finite state diagrams or house plans.
§ Computational understanding of visual languages. I am also interested in how we can build software that provides human-like understanding and reasoning with two-dimensional visual languages. As part of this I have investigated grammatical and logical approaches to the specification and recognition of such visual notations. Together with Bernd Meyer and others I 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. More recently we have developed GestureLab. This is a software tool designed to facilitate rapid development and testing of domain specific gesture recognizers for on-line applications.
§ Interactive scientific visualization and diagram authoring tools. Most of my research in this area has focused on algorithms for automatic diagram layout but I am also interested in usability and what makes a particular visualization effective. Recent research with my former PhD student Michael Wybrow and Tim Dwyer has lead to the interactive diagramming tool Dunnart. Most recently we are focusing on layout of network diagrams including the many kinds of diagrams that arise in systems biology.
Along with my former PhD student Pater Sbarski I helped design the layout algorithms used in the argument mapping tool Rationale and the decision support tool bCisive produced by the local software company Austhink Pty Ltd. Support for constraint solving in such interactive graphical applications is provided by the QOCA constraint solving toolkit and the adaptagrams project.
A recent project is to develop a low-cost technology for interactive viewing of tactile diagrams by blind people. This is being undertaken by my PhD student Chatai Goncu with help from Vision Australia.
§ Constraint programming. Another 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.
§ Program analysis. My final area of research is analysis and optimisation of programs, in particular, for constraint and logic programming languages. I am no longer an active researcher in this area.
See my selected publications list for more details.
I am involved with the following journals, book series and conferences that you might be interested in:
Contact DetailsKim Marriott / Kim.Marriott@infotech.monash.edu.au