- Zedan, Hussein - De Montfort University - Formal methods, verification, concurrent systems, semantics, real-time systems, safety critical systems, system re-engineering, object-oriented paradigm.
www.cse.dmu.ac.uk/~zedan
- Zennaro, Marco - Computer networks, wireless MAC, service network, pi-calculus, SMIL, XML.
web.tiscali.it/marcozennaro
- Zhang, Dengsheng - Monash University - Research on image processing.
www.gscit.monash.edu.au/~dengs
- 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.
anytime.cs.umass.edu/shlomo
- Zweben, Stuart H. - 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.
www.cis.ohio-state.edu/~zweben
|
