Alexander Ivrii

Alexander Ivrii ist Forscher im IBM-Forschungslabor in Haifa, Israel. Seit 2007 arbeitet Dr. Ivrii bei IBM an Formaler Verifikation von Hardware, Entscheidungsprozeduren für Aussagenlogik und Model Checking. Er schloss sein Doktoratsstudium der Mathematik an der Stanford University ab und arbeitete danach als Postdoc am Centre de recherches mathématiques an der Université de Montréal (CRM) und am Technion in Israel. Alexander Ivrii ist Co-Autor von 25 begutachteten wissenschaftlichen Publikationen und als Miterfinder an 14 Patenten beteiligt.

Portraitfoto von Alexander Ivrii

Wir empfehlen

PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

ISBN: 978-3-85448-042-6
Das ausgewählte Produkt wurde zum Warenkorb hinzugefügt.
Akzeptieren
Abbrechen