First and second degrees in Computer Science at the Technion.
Participated in the Technion Excellence Program: October 1996- February 1999.
Ziv combined advanced courses from the curriculum of studies for a higher degree.
His thesis: "Online learning of Decision Lists" is in the field of computational learning.
Recommendation to Program participants: "I recommend students who consider graduate studies, to ask academic staff in their field of interest for open question and challenges in this field. This may speed up their graduate studies, having already a research topic".
Today (2015): A research staff member in IBM Haifa Research Labs, currently leading the RuleBase/PE project, which is IBM's formal verification platform.
