Мули Сагив — генеральный директор Certora и израильский учёный-компьютерщик, известный своими работами в области статического анализа программ. Он также возглавляет Департамент программных систем Школы компьютерных наук Тель-Авивского университета.