IBM Almaden Research Center - Database query processing.

University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells.

University of Salzburg - Computational geometry, computer graphics, program design, algorithms and data structures, computer-aided design and manufacturing.

University of Groningen - Nondeterminacy, predicate transformation semantics, distributed programming, design and correctness of algorithms, and mechanical theorem proving for correctness and design of distributed systems.

University of Udine - Lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathematical structures for semantics.

Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity.