{{{sourceTextContent.title}}}

La cadence et l'université d'Oxford stimulent l'avancement de l'innovation formelle de vérification

{{{sourceTextContent.subTitle}}}

Cadence Design Systems, Inc. (Nasdaq : CDNS) et l'université d'Oxford annoncent un mouvement de stimuler l'avancement de l'innovation formelle de vérification avec la nomination de Dr. Ziyad Hanna, vice-président de cadence de la recherche et développement, en tant que professeur de visite dans le département d'Oxford de de l'informatique pendant les trois années à venir.

{{{sourceTextContent.description}}}

Par le rendez-vous de Dr. Hanna à Oxford, une université globalement distinguée, cadence autre augmente son empreinte de pas scolaire de réseau de Cadence®.

Dr. Hanna apporte plus de 25 ans d'expérience d'industrie à Oxford. Il mène actuellement l'équipe de recherche et développement pour la plate-forme formelle de vérification de JasperGold® de cadence, s'étant joint à partir de la conception automatisée de jaspe, qui a été acquise par Cadence en 2014. Avant de joindre le jaspe, Dr. Hanna était également un ingénieur principal principal et un chef de groupe à Intel, travaillant à la vérification formelle de propriété et à la vérification d'équivalence. Un membre aîné d'IEEE, il mentored des douzaines de projets de recherche, fournies beaucoup d'entretiens de visionnaire pour l'industrie et le milieu universitaire, et servies au sein de plus de 50 comités de programme pour avancer la recherche scolaire. Dr. Hanna co-authored plus de 30 articles et tient 15 brevets des États-Unis, et il a gagné son B.Sc et degrés de M.S. dans les mathématiques et de l'informatique à l'université de Tel Aviv et son D.Phil de l'université d'Oxford.

Le groupe de la vérification automatisée d'Oxford, basé dans le département de de l'informatique, est l'un des plus grands et les plus puissants groupes de recherche scolaires dans le domaine dans le monde entier, et la cadence a un des plus grands investissements de corporation dans la vérification formelle et la recherche et développement d'équivalence formelle. Par ce rendez-vous, Dr. Hanna emploie son expérience réelle pour augmenter le programme de recherche formel automatisé de la vérification d'Oxford, tout en également gagnant l'exposition à la recherche pratique et industriellement orientée de l'université, est qui ce que le réseau scolaire de cadence fonctionne pour stimuler.