Fellow
Israel – 2015
CITATION

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