Avi Ziv received his BSc degree in Computer Engineering from the Technion, Israel Institute of Technology, in 1990, and his MSc and PhD degrees in Electrical Engineering from Stanford University in 1992 and 1995 respectively.

Dr. Ziv joined the Verification Technologies Department at the IBM Haifa Research Lab in 1996, where he is currently the IBM project leader of Odette, an EC funded project on Object-Oriented design and verification. He is also involved in many other activities in the fields of simulation based verification and reliability for both software and hardware systems and high-level modeling for hardware systems.