Mooly Sagiv

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