University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.

University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming.

Research in computer graphics: voxelization and visualization of implicit surfaces, discrete ray tracing, and fractal clouds.

University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing.

University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design.

School of Information Sciences and Technology, Pennsylvania State University - Cognitive Science, Vision, High Performance Computing.

Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling.

University of New England - Object-oriented software engineering; object-orientation, concurrency and visual programming; distributed systems and software engineering.

University of Cambridge - Automated reasoning, implementation and application of higher order logic.

IBM's T. J. Watson Research Center - Computer Network Researcher