National University of Ireland, Maynooth - TASS (theoretical aspects of software systems) research group co-ordinator.

University of California, Berkeley - Theoretical computer science, graph theory, cryptography

Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.

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

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

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

The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.

Software engineering improvement, especially focusing on cycle time.

Associate Professor at Dartmouth, and co-author of arguably the leading textbook on algorithms.

University of Salzburg - Application of mathematics to computer science, multi-agent systems, artificial neural networks, fuzzy reasoning, genetic algorithms, automated deduction in geometry, and semantical modelling