Mooly Sagiv là Giám đốc điều hành (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 nghiên cứu trong lĩnh vực phân tích tĩnh chương trình. Ông cũng là Trưởng Khoa Hệ thống Phần mềm tại Trường Khoa học Máy tính thuộc Đại học Tel Aviv.