Shmuel Sagiv - Curriculum Vitae#
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
Education
- 1986 - 1990 Ph.D., Department of Computer Science, Technion. Advisors: Prof. Michael Rodeh and Prof. Nissim Francez, “High Level Formalisms for Program Flow Analysis and their use in Compiling.”
- 1982 - 1985 B.A., Department of Computer Science, Technion, Graduated cum laude
Grants
- 2017 - 2021 B.S.F Grant “Effective Reasoning about Dynamically Evolving Relations” PI (Co-PI: Neil Immerman
- and Sharon Shoham)
- 2013 - 2019 Senior ERC Grant: “Verifying and Synthesizing Software Compositions” (PI, 1.57 Million Euros)
- 2011 – 2012 IBM OCR Gift jointly with Alex Aiken ($500k)
- 2000, 01, 02, 04, 05 IBM Faculty Awards
Journal Editor of Foundations and Trends in Programming Languages: Publish the best works in Programming Languages
Program Committee Chair of POPL, SAS, ESOP, ISMM, and several workshops and Dagstuhl Seminars
Member of numerous program committees
Holder of 4 US Patents