De Montfort University - Formal methods, verification, concurrent systems, semantics, real-time systems, safety critical systems, system re-engineering, object-oriented paradigm.

Computer networks, wireless MAC, service network, pi-calculus, SMIL, XML.

UC Berkeley. Tutorials on SMIL, XML, RPC, RR and RRA, parser LRk. Pictures, presentations and publications.

Monash University - Research on image processing.

Novosibirsk State University - Text and document management, information retrieval, natural language processing, databases

University of Massachusetts - Research interests include approximate reasoning, decision theory, design of autonomous agents, heuristic search, information gathering, monitoring and control of computation, planning and scheduling, reinforcement learning, resource-bounded reasoning, and reasoning under uncertainty.

Ohio State University - Software engineering and computer science education, testing of object-based software, doing empirical studies to assess the effectiveness of various software engineering principles and practices.