Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen - Hardcover

Über die Autorin bzw. den Autor

Mehran Goli ist seit 2018 wissenschaftlicher Mitarbeiter am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI). Er erwarb 2012 den B.Sc. in Computertechnik an der Universität Shahid Beheshti, Teheran, Iran, 2015 den M.Sc. in Computertechnik an der Universität Teheran, Teheran, Iran, und 2019 den Dr.-Ing. in Informatik an der Universität Bremen, Bremen, Deutschland. Seine aktuellen Forschungsinteressen umfassen Design auf Systemebene, Verifikation und Sicherheitsvalidierung.

Rolf Drechsler erhielt das Diplom und den Dr. Phil. Nat. in Informatik an der J.W. Goethe-Universität Frankfurt am Main, Frankfurt am Main, Deutschland, in den Jahren 1992 und 1995. Von 1995 bis 2000 war er am Institut für Informatik der Albert-Ludwigs-Universität Freiburg im Breisgau und von 2000 bis 2001 in der Abteilung Corporate Technology der Siemens AG in München tätig. Seit Oktober 2001 ist er an der Universität Bremen, Bremen, Deutschland, wo er derzeit als ordentlicher Professor und Leiter der Gruppe für Rechnerarchitektur am Institut für Informatik tätig ist. Seit 2011 ist er zusätzlich Leiter der Gruppe Cyber Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen. Seine aktuellen Forschungsinteressen umfassen die Entwicklung und den Entwurf von Datenstrukturen und Algorithmen mit einem Schwerpunkt auf Schaltungs- und Systementwurf. Er ist ein IEEE Fellow.

Übersetzt mit www.DeepL.com/Translator (kostenlose Version)

Von der hinteren Coverseite

Die Übersetzung wurde mit Hilfe von künstlicher Intelligenz (anhand einer maschinellen Übersetzung durch einen Service von DeepL.com) angefertigt. Da die anschließende Überprüfung hauptsächlich im Hinblick auf inhaltliche Gesichtspunkte erfolgte, kann sich der Text des Buches stilistisch von einer konventionellen Übersetzung unterscheiden. Springer Nature arbeitet bei der Publikation von Büchern kontinuierlich mit innovativen Technologien, um die Arbeit der Autoren zu unterstützen.