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.