Shmuel Sagiv - Shmuel Sagiv

Mooly (Shmuel) Sagiv
Mooly Sagiv.jpg
narozený (1959-04-11) 11. dubna 1959 (věk 61)
Alma materTechnion BSc cum laude 1985, PhD 1991
Manžel (y)Dr. Tamar Sagiv
DětiAya Sagiv

Naama Sagiv

Hagar Sagiv
Vědecká kariéra
TezeFormality na vysoké úrovni pro analýzu toku programu a jejich použití při kompilaci
Doktorský poradceMichael 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

  1. ^ „Mooly Sagiv - Citace Google Scholar“. scholar.google.com. Citováno 2019-04-18.
  2. ^ „Dotovaná židle“. en-exact-sciences.tau.ac.il. Citováno 2019-05-02.
  3. ^ „ACM SIGSOFT - Impact Paper Award“. www.sigsoft.org. Citováno 2019-05-02.
  4. ^ „Vynikající cena spolupracovníka“. Microsoft Research. Citováno 2019-05-02.
  5. ^ „Příjemci“. awards.acm.org. Citováno 2019-05-02.
  6. ^ „Spolupráce v PLDI a OOPSLA - nadšenec PL“. Nadšenec programovacích jazyků. 2014-12-02. Citováno 2019-04-18.

externí odkazy