Zu meinen Favoriten hinzufügen
Automatische Übersetzung anzeigen
Dies ist eine automatisch generierte Übersetzung. Wenn Sie auf den englischen Originaltext zugreifen möchten,
klicken Sie hier
#Neues aus der Industrie
{{{sourceTextContent.title}}}
Rhythmus und Universität von Oxford fördern die Zuführung der formalen Überprüfungs-Innovation
{{{sourceTextContent.subTitle}}}
Cadence Design Systems, Inc. (Nasdaq: CDNS) und die Universität von Oxford verkünden eine Bewegung, die Zuführung der formalen Überprüfungsinnovation mit der Ernennung von Dr. Ziyad Hanna, Rhythmusvizepräsident von R&D, als Gastprofessor Oxfords im Abteilung Informatik für die folgenden drei Jahre zu fördern.
{{{sourceTextContent.description}}}
Durch Verabredung des Dr. Hannas in Oxford, erweitert eine global bemerkenswerte Universität, der weitere Rhythmus seinen Cadence® akademischen Netzabdruck.
Dr. Hanna holt mehr als 25 Jahre Industrieerfahrung nach Oxford. Er führt z.Z. die R&D-Mannschaft für die Rhythmus JasperGold® formale Überprüfungsplattform, nachdem erverbunden von der Jaspis-Entwurfsautomatisierung erverbunden hatte, die von Cadence 2014 erworben wurde. Vor der Verbindung des Jaspisses, war Dr. Hanna auch ein älterer Hauptingenieur und ein Gruppenführer an Intel und arbeitete an formaler Eigentumüberprüfung und der Äquivalenzprüfung. Ein älteres IEEE-Mitglied, mentored er die Dutzende Forschungsprojekte, geliefert vielen Visionärgesprächen für die Industrie und die Hochschule, und in mehr als 50 Programmausschüssen gedient, um akademische Forschung voranzubringen. Dr. Hanna co-authored über 30 Artikeln und hält 15 US-Patente, und er erwarb sein B.Sc und M.S. Grad in der Mathematik und Informatik an der Tel Aviv-Universität und sein D.Phil von der Universität von Oxford.
Oxfords die automatisierte Überprüfungs-Gruppe, gegründet im Abteilung Informatik, ist eine der größten und stärksten akademischen Forschungsgruppen im Feld weltweit, und Rhythmus hat eine der größten Unternehmerinvestitionen in der formalen Überprüfung und in der formalen Äquivalenzforschung und entwicklung. Durch diese Verabredung verwendet Dr. Hanna seine realistische Erfahrung, um Oxfords automatisiertes formales Überprüfungs-Forschungsprogramm zu erhöhen, bei Aussetzung zur praktischen und industriell orientierten Forschung der Universität auch gewinnen, die ist, was das Rhythmus-akademische Netz arbeitet, um zu fördern.