Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems

Eindhoven University of Technology - Information systems, simulation, Petri nets, process models, workflow management systems, verification techniques, enterprise resource planning systems, computer supported cooperative work, and interorganisational business processes.

Indian Institute of Technology, Delhi - Randomized Algorithms, Parallel Algorithms, Computational Geometry, Memory Hierarchy Models

A/Prof Achim Hoffmann

University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.

Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering.

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.

University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.

University of Cambridge - Human-computer interaction, electronic design automation, self-timed circuits.

Aalborg University - Temporal database systems.