Циклопедия скорбит по жертвам террористического акта в Крокус-Сити (Красногорск, МО)
Шмуэль Сагив
Перейти к навигации
Перейти к поиску
Мули (Шмуэль) Сагив (англ. Mooly (Shmuel) Sagiv) — израильский учёный, сотрудник Школе компьютерных наук в Тель-Авивском университете и генеральный директор компании Certora[1].
Биография[править]
Родился 11 апреля 1959 года.
В 1985 году получил степень бакалавра, а в 1991 году — докторскую степень в Технионе, защитив диссертацию по теме «High-Level Formalisms for Program Flow Analysis and their use in Compiling».
В 1993 году получил награду IBM за выдающиеся технические достижения.
Области исследований: статический анализ кода, математическая логика, автоматическое доказательство, язык программирования, формальные методы, смарт-контракт и т. д.
Женат, имеет троих дочерей.