Currently a VP at Cadence Design System, leading R&D centers in various countries, in the domain of electronic design automation. Prior to joining Cadence Design Systems, Prof. Hanna was a Senior VP at Jasper Design Automation, which was acquired by Cadence in 2014. At Jasper, Prof. Hanna was responsible for advancing the company’s breakthroughs in the fast-emerging domain of formal verification technology and applications. Prof. Hanna was also Intel Senior Principal Engineer and R&D Group Leader at Intel Haifa, where he was instrumental in the development of several generations of formal verification systems, which were used on almost all Intel microprocessor designs since early 1990s, and gained the highest Intel Achievement Awards (IAA) twice. He received both his BSc and MS degrees in Computer Science at Tel Aviv University, and his PhD in Computer Science from the University of Oxford – UK. Besides his leadership at Cadence, Prof. Hanna is currently serving as a visiting professor of Computer Science at Oxford. Prof. Hanna is a senior IEEE member, holds 15 patents, and has published more than 80 papers and talks about his domains of interests.