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

Imprint Privacy policy « This page (revision-4) was last changed on Thursday, 19. August 2021, 18:16 by System
  • operated by