University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.

Ricoh Innovations; and Stanford University - Pattern recognition, neural networks, machine learning, adaptive human interfaces for data repositories, strategic document studies, image and pattern recognition algorithms for novel parallel hardware, Ope...

Swiss Federal Institute of Technology, Lausanne. Application of Biological Principles to Artificial Systems, Evolutionary Computation, Cellular Computing, Bio-inspired Systems, Evolvable Hardware, Complex Adaptive Systems.

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

National Technical University of Athens - Extended relational database systems, active database systems, and spatial, image and multimedia database systems.

Secretary of the ISO/ANSI C++ Standards Committee, Writer, Consultant - Information on C++

Developer of the C++ programming language.

Tata Institute of Fundamental Research, Mumbai - Real-Time and Reactive Programming, Logic Programming, Pi-Calculus and Mobile Computing, Parallel Programs, Programming Languages.

CEO of Radar Networks, and co-founder of EarthWeb - Semantic Web, Knowledge Management

University of Edinburgh - Category theory, domain theory, logic, type theory.