Shmuel Sagiv#


Shmuel Sagiv
Membership Number:5631
Membership type:ORDINARY
Section:INFORMATICS
Elected:2021
Main Country of Residence:ISRAEL
Homepage(s):http://www.tau.ac.il/
ORCID:0000-0002-0723-1309
Twitter:@SagivMooly
Facebook:https://www.facebook.com/public/Mooly-Sagiv
Linkedin:https://www.linkedin.com/in/mooly-sagiv-87a36010?originalSubdomain=il



ATTENTION: DO NOT EDIT ANYTHING ABOVE HERE: IF YOU WANT TO INSERT A PHOTO; CHANGE YOUR EMAIL ADDRESS OR THE LINK TO YOUR WEBPAGE, PLEASE SEND THIS AS EMAIL TO office@ae-info.org OR LEAVE THE EDITING MODE AND ATTACH THE INFORMATION AS COMMENT!!!
Present and Previous Positions
  • 2005 - present Full Professor, Tel-Aviv University
  • 2004 - 2005 Associate Professor, Tel-Aviv University
  • 2000 - 2004 Senior Lecturer, Tel-Aviv University
  • 1997 - 2000 Lecturer, Tel-Aviv University
  • 1996 - 1997 Visiting Professor, University of Chicago
  • 1994 - 1995 Visiting Associate Research Scientist, University of Madison-Wisconsin
  • 1993 - 1994 Visiting Professor, University of Copenhagen
  • 1991 - 1993 Researcher, IBM Israel Scientific Center
  • 1988 - 1991 Instructor, Technion - Israel Institute of Technology

Fields of Scholarship
  • Software verification
  • Shape analysis
  • Smart contracts
  • Abstract interpretation
  • Interprocedural dataflow analysis
  • Language-based programming environments
  • Program slicing
  • Porting source code
  • Programming languages
  • Profiling

Honours and Awards
  • 2016 Microsoft Outstanding Collaborator Award,
  • 2016 ACM Fellow
  • 2011 ACM SIGSOFT Impact Paper Award
  • 2002 The Friedrich Wilhelm Bessel Research Award, granted by the Humboldt Foundation, Germany
  • 1993 IBM Outstanding Technical Achievement Award
  • 1989 Wolf Foundation Fellowship



Imprint Privacy policy « This page (revision-7) was last changed on Friday, 20. August 2021, 15:55 by Kaiser Dana
  • operated by