Thông tin cơ bản
Mooly Sagiv là CEO của Certora và là một nhà khoa học máy tính người Israel nổi tiếng với công trình phân tích chương trình tĩnh. Ông cũng là trưởng khoa Hệ thống phần mềm tại Khoa Khoa học máy tính thuộc Đại học Tel Aviv.
Mooly Sagiv là CEO của Certora và là một nhà khoa học máy tính người Israel nổi tiếng với công trình phân tích chương trình tĩnh. Ông cũng là trưởng khoa Hệ thống phần mềm tại Khoa Khoa học máy tính thuộc Đại học Tel Aviv.