| Zedan, Hussein: De Montfort University - Formal methods, verification, concurrent systems, semantics, real-time systems, safety critical systems, system re-engineering, object-oriented paradigm. | |
| Zennaro, Marco: Computer networks, wireless MAC, service network, pi-calculus, SMIL, XML. | |
| Zennaro, Marco: UC Berkeley. Tutorials on SMIL, XML, RPC, RR and RRA, parser LRk. Pictures, presentations and publications. | |
| Zhang, Dengsheng: Monash University - Research on image processing. | |
| Zhdanova, Anna V.: Novosibirsk State University - Text and document management, information retrieval, natural language processing, databases | |
| Zilberstein, Shlomo: 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. |
|