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 |
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