SAN JOSE, CA -- Cadence Design Systems, Inc. (NASDAQ: CDNS) and the University of Oxford announce a move to foster the advancement of formal verification innovation with the appointment of Dr. Ziyad Hanna, Cadence vice president of R&D, as a visiting professor in Oxford's Department of Computer Science for the next three years. Through Dr. Hanna's appointment at Oxford, a globally distinguished university, Cadence further expands its Cadence® Academic Network footprint.
Dr. Hanna brings more than 25 years of industry experience to Oxford. He currently leads the R&D team for the Cadence JasperGold® formal verification platform, having joined from Jasper Design Automation, which was acquired by Cadence in 2014. Before joining Jasper, Dr. Hanna was also a senior principal engineer and a group leader at Intel, working on formal property verification and equivalence checking. A senior IEEE member, he has mentored dozens of research projects, delivered many visionary talks for the industry and academia, and served in more than 50 program committees to advance academic research. Dr. Hanna has co-authored over 30 articles and holds 15 U.S. patents, and he earned both his B.Sc. and M.S. degrees in mathematics and computer science at Tel Aviv University and his D.Phil. from the University of Oxford.
Oxford's Automated Verification Group, based in the Department of Computer Science, is one of the largest and strongest academic research groups in the field worldwide, and Cadence has one of the largest corporate investments in formal verification and formal equivalence research and development. Through this appointment, Dr. Hanna is using his real-world experience to enhance Oxford's automated formal verification research program, while also gaining exposure to the university's practical and industrially oriented research, which is what the Cadence Academic Network works to foster.