Shmuel Sagiv - Shmuel Sagiv
Mooly (Shmuel) Sagiv | |
---|---|
![]() | |
narozený | 11. dubna 1959 |
Alma mater | Technion BSc cum laude 1985, PhD 1991 |
Manžel (y) | Dr. Tamar Sagiv |
Děti | Aya Sagiv Naama Sagiv Hagar Sagiv |
Vědecká kariéra | |
Teze | Formality na vysoké úrovni pro analýzu toku programu a jejich použití při kompilaci |
Doktorský poradce | Michael Rodeh, Nissim Francez |
Mooly (Shmuel) Sagiv (narozen 11. dubna 1959, Izrael ) je Izraelčan počítačový vědec známý svou prací na statická analýza programu. V současné době je předsedou softwarových systémů na School of Computer Science v Tel Avivská univerzita a generální ředitel společnosti Certora, a začínající společnost poskytující formální ověření z chytré smlouvy.
Sagivův výzkum zahrnuje oblasti včetně statické programová analýza, tvarová analýza, abstraktní interpretace, logika, dokazování věty, programovací jazyky, formální metody, analýza toku dat, krájení programu, ověření sítě a chytré smlouvy. Jeho nejcitovanější dílo[1] je na tvarové analýze pomocí tříhodnotové logiky implementované v systému TVLA.
Za svou práci získal Sagiv cenu Vlčí nadace Fellowship (1989), IBM Outstanding Technical Achievement Award (1993), Friedrich Wilhelm Bessel Research Award (2002), IBM Faculty Awards (2000-2005), Chair of Software Systems in the School of Computer Science, Tel Aviv University (2008)[2]Cena ACM SIGSOFT Retrospective Impact Paper (s Thomas Reps, Susan Horowitz, a Genevieve Rosay, 2011)[3], Cena Microsoft Outstanding Collaborator Award (2016)[4], a Člen ACM (2016)[5].
Analýza autorství a spolupráce ve výzkumné komunitě programovacích jazyků nazvala Sagiv „the the Kevin Bacon z PLDI společenství".[6]
Sagiv je ženatý s Dr. Tamarem Sagivem a mají spolu tři dcery. Aya Sagiv, Naama Sagiv a Hagar Sagiv.
Reference
- ^ „Mooly Sagiv - Citace Google Scholar“. scholar.google.com. Citováno 2019-04-18.
- ^ „Dotovaná židle“. en-exact-sciences.tau.ac.il. Citováno 2019-05-02.
- ^ „ACM SIGSOFT - Impact Paper Award“. www.sigsoft.org. Citováno 2019-05-02.
- ^ „Vynikající cena spolupracovníka“. Microsoft Research. Citováno 2019-05-02.
- ^ „Příjemci“. awards.acm.org. Citováno 2019-05-02.
- ^ „Spolupráce v PLDI a OOPSLA - nadšenec PL“. Nadšenec programovacích jazyků. 2014-12-02. Citováno 2019-04-18.