Mooly Sagiv

CEO （ Certora

Mooly Sagiv は Certora の CEO であり、静的プログラム解析の研究で知られるイスラエルのコンピュータ科学者です。また、テルアビブ大学コンピュータ科学部のソフトウェアシステム学科長も務めています。