Шмуэль Сагив

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

Шмуэль Сагив

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 за выдающиеся технические достижения.

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

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

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

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты