Shmuel Sagiv

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.

Mooly (Shmuel) Sagiv
Born (1959-04-11) April 11, 1959
Alma materTechnion BSc cum laude 1985, PhD 1991
Spouse(s)Dr. Tamar Sagiv
ChildrenAya Sagiv

Naama Sagiv

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

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.

References

  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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.