My work and research interests lie in two main areas, (i) functional programming and language technologies, and (ii) data visualization and visualization systems. An important theme is scale - better technologies for exploiting parallelism, better tools for building visualization applications, and better abstractions for understanding massive/complex datasets. Work within my team currently builds on the following technologies:
My interests in functional programming include high-performance programming, and Haskell as a flexible platform for visualization. A novel twist is using visualization to understand the performance of parallel Haskell programs. These interests necessarily extend to work with the GHC compiler and runtime system. Work with VTK is focussed on tools for computational topology, including the "Joint Contour Net", a recent approach to topological and combinatorial analysis of multifield data.
In the past I have worked in formal methods, multimedia systems, graphics standards, HCI, and reasoning about cognitive systems.
Professionally, I am a member of the ACM, the IEEE and IEEE Computer Society, and am a Fellow of the Eurographics Association.