WikiDer > Шмуэль Сагив

Shmuel Sagiv
Мули (Шмуэль) Сагив
Мули Сагив.jpg
Родившийся (1959-04-11) 11 апреля 1959 г. (61 год)
Альма-матерТехнион Бакалавр с отличием 1985, доктор философии 1991
Супруг (а)Доктор Тамар Сагив
ДетиАя Сагив

Наама Сагив

Агарь Сагив
Научная карьера
ТезисФормализмы высокого уровня для анализа потока программы и их использование при компиляции
ДокторантМайкл Родех, Ниссим Франсез

Мули (Шмуэль) Сагив (родился 11 апреля 1959 г., Израиль) является израильтянином специалист в области информатики известен своей работой над статический анализ программы. В настоящее время он является заведующим кафедрой программных систем в школе компьютерных наук в Тель-авивский университет, и генеральный директор Certora, стартап компания предоставление формальная проверка из смарт-контракты.

Исследования Сагива охватывают области, включая статические программный анализ, анализ формы, абстрактная интерпретация, логика, доказательство теорем, языки программирования, формальные методы, анализ потока данных, программа нарезки, проверка сети и смарт-контракты. Его самая цитируемая работа[1] находится на анализе формы с помощью трехзначной логики, реализованной в системе TVLA.

За свою работу Сагив был награжден Фонд Волка Стипендия (1989 г.), Премия IBM за выдающиеся технические достижения (1993 г.), Премия Фридриха Вильгельма Бесселя за исследования (2002 г.), Награды факультета IBM (2000-2005 гг.), Кафедра программных систем в школе компьютерных наук Тель-Авивского университета (2008 г.)[2], Награда ACM SIGSOFT Retrospective Impact Paper Award (с Томас Репс, Сьюзан Горовиц, и Женевьева Розай, 2011)[3], Премия Microsoft Outstanding Collaborator (2016)[4], и Член ACM (2016)[5].

Анализ авторства и сотрудничества в исследовательском сообществе языков программирования назвал Sagiv " Кевин Бэкон из PLDI сообщество".[6]

Сагив женат на докторе Тамар Сагив, и вместе у них трое дочерей. Ая Сагив, Наама Сагив и Агарь Сагив.

Рекомендации

  1. ^ "Мули Сагив - цитирование ученых Google". scholar.google.com. Получено 2019-04-18.
  2. ^ "Наделенные стулья". en-exact-sciences.tau.ac.il. Получено 2019-05-02.
  3. ^ «ACM SIGSOFT - Премия Impact Paper». www.sigsoft.org. Получено 2019-05-02.
  4. ^ «Премия выдающегося сотрудника». Microsoft Research. Получено 2019-05-02.
  5. ^ «Получатели». awards.acm.org. Получено 2019-05-02.
  6. ^ «Сотрудничество в PLDI и OOPSLA - энтузиаст PL». Энтузиаст языков программирования. 2014-12-02. Получено 2019-04-18.

внешняя ссылка