ACM_Citations
  • Israel-2015

    For contributions to the theory and practice of automated analysis and verification of software. Press Release

Experience
Education
Bio
School of Computer Science Tel Aviv University Mooly (Shmuel) SAGIV, Ph.D. CURRICULUM VITAE