{{{sourceTextContent.title}}}

La cadencia y la universidad de Oxford fomentan el adelanto de la innovación formal de la verificación

{{{sourceTextContent.subTitle}}}

Cadence Design Systems, Inc. (Nasdaq: CDNS) y la universidad de Oxford anuncian un movimiento de fomentar el adelanto de la innovación formal de la verificación con el nombramiento del Dr. Ziyad Hanna, vice presidente de la cadencia del R&D, como profesor que visita en el departamento de Oxford de de informática por los tres años próximos.

{{{sourceTextContent.description}}}

Con la cita del Dr. Hanna en Oxford, una universidad global distinguida, cadencia más futura amplía su huella académica de la red de Cadence®.

El Dr. Hanna trae más de 25 años de experiencia de la industria a Oxford. Él lleva actualmente al equipo del R&D para la plataforma formal de la verificación de JasperGold® de la cadencia, ensamblando de la automatización de diseño del jaspe, que fue adquirida por Cadence en 2014. Antes de ensamblar el jaspe, el Dr. Hanna era también ingeniero principal mayor y un líder del grupo en Intel, trabajando en la verificación formal de la característica y la comprobación de equivalencia. Un miembro mayor de IEEE, él mentored las docenas de proyectos de investigación, entregadas muchas negociaciones del visionario para la industria y la academia, y servidas en más de 50 comités de programa para avanzar la investigación académica. El Dr. Hanna co-authored sobre 30 artículos y lleva a cabo 15 patentes de los E.E.U.U., y él ganó su B.Sc y los grados de M.S. en matemáticas y de informática en la universidad de Tel Aviv y su D.Phil de la universidad de Oxford.

El grupo de la verificación automatizada de Oxford, basado en el departamento de de informática, es uno de los grupos de investigación académicos más grandes y más fuertes del campo por todo el mundo, y la cadencia tiene una de las inversiones corporativas más grandes en la verificación formal y la investigación y desarrollo de equivalencia formal. Con esta cita, el Dr. Hanna está utilizando su experiencia del mundo real para realzar el programa de investigación formal automatizado de la verificación de Oxford, mientras que también gana la exposición a la investigación práctica e industrial orientada de la universidad, que es lo que trabaja la red académica de la cadencia para fomentar.