Cadence and University of Oxford Foster the Advancement of Formal Verification Innovation

University of Oxford Appoints Cadence Vice President of R&D, Dr. Ziyad Hanna, as Visiting Professor

SAN JOSE, Calif., April 7, 2016 — (PRNewswire) —  Cadence Design Systems, Inc. (NASDAQ: CDNS) and the University of Oxford today announced 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. Ziyad Hanna, vice president of R&D at Cadence

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.

"The University of Oxford appoints visiting professorships to highly distinguished individuals who are regarded as world leaders in their field and can further enhance our research excellence," said Thomas Melham, Professor of Computer Science at the University of Oxford. "The appointment of Dr. Hanna to Oxford highlights the commitment of Cadence to further the research and development of innovative technology, including formal verification. His visiting professorship provides Cadence with early insight into new academic research directions for addressing the hardest verification challenges that many chip design and system companies encounter."

"Oxford's work in verification spans a wide range of research, from fundamental investigations into model checking to practical, machine-assisted methods applicable to real-world design and verification problems in software and hardware systems," said Dr. Hanna. "It's an honor to be working with Oxford's renowned Department of Computer Science. This appointment enables me to collaborate closely with Oxford's leading verification researchers to tap into the university's research, which can drive formal verification innovation and bring talented Oxford graduates to Cadence."

About Science at the University of Oxford
Oxford is one of the world's leading universities. Working at the forefront of modern science and technology, Oxford researchers innovate and discover across a broad range of disciplines – from evolution and ecology to seismology; biomedical engineering to materials characterization; geometry to genomics; the foundations of computer science to advanced measurement science; quantum theory to the origins of the universe. More information about Oxford's leading-edge scientific research is available at www.mpls.ox.ac.uk.

About Cadence
Cadence enables global electronic design innovation and plays an essential role in the creation of today's integrated circuits and electronics. Customers use Cadence software, hardware, IP and services to design and verify advanced semiconductors, consumer electronics, networking and telecommunications equipment, and computer systems. The company is headquartered in San Jose, Calif., with sales offices, design centers and research facilities around the world to serve the global electronics industry. More information about the company, its products and its services is available at www.cadence.com.

© 2016 Cadence Design Systems, Inc. All rights reserved worldwide. Cadence, the Cadence logo and JasperGold are registered trademarks of Cadence Design Systems, Inc. in the United States and other countries. All other trademarks are the property of their respective owners.

Cadence Newsroom
408-944-7039
Email Contact

University of Oxford Press Office
+44 (0)1865 283877
Email Contact  

Cadence Logo. (PRNewsFoto/Cadence Design Systems, Inc.) (PRNewsFoto/CADENCE DESIGN SYSTEMS_ INC_)

Photo - http://photos.prnewswire.com/prnh/20160406/352507

Logo - http://photos.prnewswire.com/prnh/20140102/SF39436LOGO

 

To view the original version on PR Newswire, visit: http://www.prnewswire.com/news-releases/cadence-and-university-of-oxford-foster-the-advancement-of-formal-verification-innovation-300247658.html

SOURCE Cadence Design Systems, Inc.

Contact:
Cadence Design Systems, Inc.
Web: http://www.cadence.com




Review Article Be the first to review this article

True Circuits:

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Retail Therapy: Jump starting Black Friday
Peggy AycinenaIP Showcase
by Peggy Aycinena
REUSE 2016: Addressing the Four Freedoms
More Editorial  
Jobs
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
AE-APPS SUPPORT/TMM for EDA Careers at San Jose-SOCAL-AZ, CA
FAE FIELD APPLICATIONS SAN DIEGO for EDA Careers at San Diego, CA
ACCOUNT MANAGER MUNICH GERMANY EU for EDA Careers at MUNICH, Germany
Development Engineer-WEB SKILLS +++ for EDA Careers at North Valley, CA
Upcoming Events
Zuken Innovation World 2017, April 24 - 26, 2017, Hilton Head Marriott Resort & Spa in Hilton Head Island, SC at Hilton Head Marriott Resort & Spa Hilton Head Island NC - Apr 24 - 26, 2017
DownStream: Solutions for Post Processing PCB Designs
Verific: SystemVerilog & VHDL Parsers
TrueCircuits: IoTPLL



Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy