Sign In

Mooly Sagiv

Keeping your code secure forever

Mooly Sagiv is a renowned figure in the field of computer science, with a focus on securing Smart Contracts through modular formal verification. He holds a Ph.D. in computer science from the prestigious Technion - Israel Institute of Technology. Sagiv has held key positions in various esteemed organizations, having served as CEO at Certora, Scholar in Residence at Vmware Research Group, Chair of Software Systems and a professor of Computer Science at Tel Aviv University, Visiting Researcher at Stanford University, Visiting Professor at UC Berkeley Electrical Engineering & Computer Sciences (EECS), and as a Team Leader at IBM.

Mooly Sagiv
Add to my network

Location

Israel