Shelly Grossman

Overview

Gender
female

Shelly is an experienced software engineer with background in Formal Verification, which spent 5 years at Check Point. Shelly is the lead author of the isolation technique for ensuring the correctness of modular reasoning. She graduated from the Adi Lautman undergraduate excellence program and is a PhD candidate in Smart Contract Verification at Tel Aviv University.

Jobs

Number of Current Jobs
1
Shelly Grossman has 1 current jobs including CTO at Certora , .
Organization Name Title At Company Start Date End Date
Certora CTO Nov 1, 2018 Detail