Shmuel Sagiv
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 65 |
| Official site | tau.ac.il |
| Date of birth | April 11,1959 |
| Zodiac sign | Aries |
| Education | Technion - Israel Institute of Technology |
| Academic advisor | Nissim Francez |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3429317 |
Shmuel Sagiv Life story
Mooly Sagiv is an Israeli computer scientist known for his work on static program analysis. He is currently Chair of Software Systems in the School of Computer Science at Tel Aviv University, and CEO of Certora, a startup company providing formal verification of smart contracts.
