Ziyad Hanna

Ziyad Hanna is an Arab-Israeli computer scientist who is the General Manager of the research and development centers of the American software company Cadence Design Systems in Israel notable for his work on formal verification .
Early life and education
Hanna is a member of a family of refugees from the village of Iqrit. He holds a BA in Mathematics and Computer Science from Tel Aviv University. In 1995, he received a master's degree in computer science, on a work entitled "Cave. Computer aided verification environment", supervised by Prof. Amiram Yehudai. In 2011 he received a PhD in Computer Science from the University of Oxford, England, for work entitled "A Symbolic Execution Framework for Algorithm-Level Modeling and Verification of Computer Microarchitecture".
Career
In the 1990s, he joined Intel as a software engineer in the company's tool development groups. During his 17 years at Intel, he held senior management positions at the company and focused both as a manager and as a chief engineer within the company in the development of software tools in the field of Formal Verification of hardware chips. The software tools developed in the software groups he managed have been used by Intel to develop most of its processors over the years.
In 2007, he left Intel and moved to Silicon Valley, California, where he joined as vice president of development and chief engineer at a relatively young startup called Jasper Design Automation. In 2014, the company was acquired by Cadence Design Systems and since then Hanna has served as senior vice president for research and development at Cadence and the CEO of the Haifa branch . In April 2019, he was appointed General Manager of all the company's research and development centers in Israel . In 2016, he was appointed for period of 3 years as Visiting Professor in the Department of Computer Science at the University of Oxford.
Contribution to the community
Hanna is active in promoting and accessing the high-tech field in the Israeli Arab sector, he is the co-chair of Tsofen Organization that aims at promoting the high-tech field to Arab minority in the state of Israel .

Main Menu

See Also

Main Menu