Global Information Lookup Global Information

Shmuel Sagiv information


Mooly (Shmuel) Sagiv
Born (1959-04-11) April 11, 1959 (age 65)
Alma materTechnion BSc cum laude 1985, PhD 1991
SpouseDr. Tamar Sagiv
ChildrenAya Sagiv

Naama Sagiv

Hagar Sagiv
Scientific career
Thesis High-Level Formalisms for Program Flow Analysis and their use in Compiling
Doctoral advisorMichael Rodeh, Nissim Francez

Mooly (Shmuel) Sagiv (born 11 April 1959, Israel) is an Israeli computer scientist known for his work on static program analysis. He is currently Chair of Software Systems in the School of Computer Science at Tel Aviv University, and CEO of Certora, a startup company providing formal verification of smart contracts.

Sagiv's research spans areas including static program analysis, shape analysis, abstract interpretation, logic, theorem proving, programming languages, formal methods, data-flow analysis, program slicing, network verification, and smart contracts. His most cited work[1] is on shape analysis via three-valued logic, implemented in the TVLA system.

For his work, Sagiv was awarded the Wolf Foundation 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] ACM SIGSOFT Retrospective Impact Paper Award (with Thomas Reps, Susan Horowitz, and Genevieve Rosay, 2011),[3] Microsoft Outstanding Collaborator Award (2016),[4] and ACM Fellow (2016).[5]

An analysis of authorship and collaborations in the Programming Languages research community has called Sagiv "the Kevin Bacon of the PLDI community".[6]

Sagiv is married to Dr. Tamar Sagiv, and together they have three daughters. Aya Sagiv, Naama Sagiv, and Hagar Sagiv.

  1. ^ "Mooly Sagiv - Google Scholar Citations". scholar.google.com. Retrieved 2019-04-18.
  2. ^ "Endowed Chairs". en-exact-sciences.tau.ac.il. Retrieved 2019-05-02.
  3. ^ "ACM SIGSOFT - Impact Paper Award". www.sigsoft.org. Retrieved 2019-05-02.
  4. ^ "Outstanding Collaborator Award". Microsoft Research. Retrieved 2019-05-02.
  5. ^ "Recipients". awards.acm.org. Retrieved 2019-05-02.
  6. ^ "Collaboration in PLDI and OOPSLA - The PL Enthusiast". The Programming Languages Enthusiast. 2014-12-02. Retrieved 2019-04-18.

and 18 Related for: Shmuel Sagiv information

Request time (Page generated in 0.7675 seconds.)

Shmuel Sagiv

Last Update:

Mooly (Shmuel) Sagiv (born 11 April 1959, Israel) is an Israeli computer scientist known for his work on static program analysis. He is currently Chair...

Word Count : 283

Summer School Marktoberdorf

Last Update:

Tobias Nipkow Doron Peled Amir Pnueli* Alexander Pretschner Peter Müller Shmuel Sagiv Helmut Schwichtenberg Helmut Seidl Stanley S. Wainer * Turing Award winners...

Word Count : 323

Samuel Scheimann

Last Update:

יהודי-הולנדי, התאמן במכבי ת"א (in Hebrew). Ma'ariv. Retrieved 1 November 2008. Sagiv Baram (11 April 2008). שמואל שיימן חתם בדן בוש (in Hebrew). Walla. Retrieved...

Word Count : 702

Rami Heuberger

Last Update:

Novhim Beyarok. At 1999, Heuberger played the role of Lt. Col. Alon 'Krembo' Sagiv in the cult Israeli film Operation Grandma. In 2000, Heuberger participated...

Word Count : 772

List of Srugim characters

Last Update:

von Schwarze, the headmistress at the school where Amir works. Dr. Avri Sagiv portrayed by Zohar Strauss. He works at Hebrew University in archaeology...

Word Count : 3975

List of Israelis

Last Update:

Eliezer Sherbatov (born 1991) – Israeli-Canadian ice hockey player Shachar Sagiv (born 1994) - Olympic triathlete Chagai Zamir – 4-time Paralympic Games...

Word Count : 6310

Tekhelet

Last Update:

of the proper color could serve as tekhelet, not just hilazon dye. Gadi Sagiv, 'Deep Blue: Notes on the Jewish Snail Fight' Hoffmann, Roald; Leibowitz...

Word Count : 6046

Rishon LeZion

Last Update:

Pines-Paz (born 1961), politician Sefi Rivlin (1947–2013), actor and comedian Sagiv Yehezkel, international footballer Tomer Z, drummer, Blackfield Eran Zahavi...

Word Count : 4767

Israel national football team

Last Update:

Team. The game was won by the US 1–3, and in the 20th minute of the game Shmuel Ben-Dror scored the first goal after the creation of the State of Israel...

Word Count : 3200

Srugim

Last Update:

portrayed by Sharon Fauster Chaya portrayed by Sara von Schwarze Dr. Avri Sagiv portrayed by Zohar Strauss Elisheva portrayed by Ma'ayan Weinstock Yochai...

Word Count : 2280

List of International Bible Contest Winners

Last Update:

Davar (in Hebrew). May 3, 1979. Retrieved May 5, 2020. "Maalot resident Sagiv Lugasi wins Tanach Quiz". Arutz Sheva. May 2, 2017. Retrieved May 5, 2020...

Word Count : 357

Temple Mount

Last Update:

opinions exist, based on study and calculations, such as those of Tuvia Sagiv. Warren was able to investigate the inside of these gates. Warren's Gate...

Word Count : 35643

List of Israeli ambassadors

Last Update:

Sweden Ilan Ben-Dov Stockholm Switzerland Jacob Keidar Bern Thailand Orna Sagiv Bangkok Ukraine Joel Lion Kiev United Arab Emirates Eitan Na'eh Abu Dhabi...

Word Count : 1023

Chaim Chaykl of Amdur

Last Update:

David; Brown, Benjamin; Gellman, Uriel; Heilman, Samuel; Rosman, Moshe; Sagiv, Gadi; Wodziński, Marcin (2020-04-14). Hasidism: A New History. Princeton...

Word Count : 1027

2005 Maccabiah Games

Last Update:

is… Israel or Canada?". Shalom Toronto Online. Retrieved July 17, 2014. Sagiv Baram (29 January 2008). תראו מה פיספסתם (in Hebrew). Walla!. Retrieved...

Word Count : 1397

List of fellows of the Association for Computing Machinery

Last Update:

Frank Pfenning Dragomir R. Radev Sriram Rajamani Pablo Rodriguez Mooly Sagiv Peter Schröder Assaf Schuster Kevin Skadron Wang-Chiew Tan Santosh Vempala...

Word Count : 3836

Israel at the 2022 European Championships

Last Update:

(10 km) Total Time Rank Itamar Eshed Men's 18:25 0:34 did not finish Shachar Sagiv 18:25 0:30 0:51:26 0:24 0:32:52 1:43:35 17 Itamar Levanon 19:32 0:33 0:53:06...

Word Count : 333

List of Israeli football transfers summer 2014

Last Update:

signed to F.C. Ashdod Eli Senior, 25 June 2014 (in Hebrew) Kale, Shkalim and Sagiv Cohen signed to Hapoel Petah Tikva Erez Na'aman, 28 May 2014 (in Hebrew)...

Word Count : 2700

PDF Search Engine © AllGlobal.net