Mooly Sagiv

Mooly Sagiv는 Certora의 CEO이며 정적 프로그램 분석 분야의 연구로 유명한 이스라엘 컴퓨터 과학자입니다. 그는 또한 텔아비브 대학교 컴퓨터 과학부 소프트웨어 시스템 학과장이기도 합니다.