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 |
| X: | @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
