Циклопедия скорбит по жертвам террористического акта в Крокус-Сити (Красногорск, МО)

Шмуэль Сагив

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Шмуэль Сагив

Mooly Sagiv.jpg
Дата рождения
11 апреля 1959 года
Место рождения
Израиль











Мули (Шмуэль) Сагив (англ. Mooly (Shmuel) Sagiv) — израильский учёный, сотрудник Школе компьютерных наук в Тель-Авивском университете и генеральный директор компании Certora[1].

Биография[править]

Родился 11 апреля 1959 года.

В 1985 году получил степень бакалавра, а в 1991 году — докторскую степень в Технионе, защитив диссертацию по теме «High-Level Formalisms for Program Flow Analysis and their use in Compiling».

В 1993 году получил награду IBM за выдающиеся технические достижения.

Области исследований: статический анализ кода, математическая логика, автоматическое доказательство, язык программирования, формальные методы, смарт-контракт и т. д.

Женат, имеет троих дочерей.

Источники[править]