Шмуэль Сагив
Мули (Шмуэль) Сагив | |
|---|---|
 | |
| Рожденный | 11 апреля 1959 г. |
| Альма-матер | Технион, бакалавр наук с отличием , 1985 г., доктор философии, 1991 г. |
| Супруг | Доктор Тамар Сагив |
| Дети | Ая Сагив
Наама Сагив Хагар Сагив |
| Научная карьера | |
| Диссертация | Формализмы высокого уровня для анализа выполнения программы и их использование при компиляции |
| Докторантура | Майкл Роде, Ниссим Френч |
Мули (Шмуэль) Сагив (родился 11 апреля 1959, Израиль ) — израильский учёный-компьютерщик, известный своими работами по статическому анализу программ . В настоящее время он является заведующим кафедрой программных систем в Школе компьютерных наук Тель-Авивского университета и генеральным директором Certora, стартап-компании, обеспечивающей формальную проверку смарт -контрактов .
Исследования Сагива охватывают такие области, как статический анализ программ , анализ форм , абстрактная интерпретация , логика , доказательство теорем , языки программирования , формальные методы , анализ потоков данных , нарезка программ , проверка сети и смарт-контракты . Его самая цитируемая работа [ 1 ] находится на анализе формы посредством трехзначной логики, реализованной в системе TVLA.
За свою работу Сагив был удостоен стипендии Фонда Вольфа (1989 г.), премии IBM за выдающиеся технические достижения (1993 г.), премии Фридриха Вильгельма Бесселя за исследования (2002 г.), награды факультета IBM (2000–2005 гг.), заведующего кафедрой программных систем в Школе компьютерных технологий. Информатика, Тель-Авивский университет (2008 г.), [ 2 ] Премия ACM SIGSOFT Retrospective Impact Paper (совместно с Томасом Репсом , Сьюзан Горовиц и Женевьевой Розай , 2011 г.), [ 3 ] Премия Microsoft за выдающийся сотрудник (2016 г.), [ 4 ] и член ACM (2016). [ 5 ]
Анализ авторства и сотрудничества в исследовательском сообществе языков программирования назвал Сагива « Кевином Бэконом сообщества PLDI ». [ 6 ]
Сагив женат на докторе Тамар Сагив, у них трое дочерей. Айя Сагив, Наама Сагив и Хагар Сагив.
Ссылки
[ редактировать ]- ^ «Мули Сагив — цитаты из Google Scholar» . ученый.google.com . Проверено 18 апреля 2019 г.
- ^ «Наделенные стулья» . en-exact-sciences.tau.ac.il . Проверено 2 мая 2019 г.
- ^ «ACM SIGSOFT — Премия за ударную бумагу» . www.sigsoft.org . Проверено 2 мая 2019 г.
- ^ «Награда за выдающийся сотрудник» . Исследования Майкрософт . Проверено 2 мая 2019 г.
- ^ «Получатели» . Награды.acm.org . Проверено 2 мая 2019 г.
- ^ «Сотрудничество в PLDI и OOPSLA — энтузиаст PL» . Энтузиаст языков программирования . 2014-12-02 . Проверено 18 апреля 2019 г.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
