My research interests are in programming and systems technologies for visualization, with a focus on declarative programming and the use of domain-specific languages (DSLs) for depiction and rendering. I'm beginning to investigate DSLs for information visualization, for example generating specialised depictions of complex structures such as biological networks and software systems. While functional programming is a major component of my research I am also interested in logical foundations, for example the use of ILP techniques for supporting discovery, and logic programming as middleware between the semantic web and lightweight tools for visual discovery.
In the past I have worked in formal methods, multimedia systems, graphics standards, and HCI. A long-standing ambition is to link artistic style and representation, to find a way of generating minimal graphics that draw on users' schematic knowledge.
