Mooly (Shmuel) Sagiv (nacido el 11 de abril de 1959, Israel ) es un científico informático israelí conocido por su trabajo en el análisis de programas estáticos . Actualmente es presidente de sistemas de software en la Facultad de Ciencias de la Computación de la Universidad de Tel Aviv y director ejecutivo de Certora, una empresa nueva que proporciona verificación formal de contratos inteligentes .
La investigación de Sagiv abarca áreas que incluyen análisis de programas estáticos, análisis de formas , interpretación abstracta , lógica , demostración de teoremas , lenguajes de programación , métodos formales , análisis de flujo de datos , corte de programas , verificación de redes y contratos inteligentes . Su trabajo más citado [1] es sobre el análisis de formas a través de la lógica de tres valores, implementada en el sistema TVLA.
Por su trabajo, Sagiv recibió la Beca de la Fundación Wolf (1989), el Premio al Logro Técnico Sobresaliente de IBM (1993), el Premio de Investigación Friedrich Wilhelm Bessel (2002), los Premios de la Facultad de IBM (2000-2005), la Cátedra de Sistemas de Software en la Escuela de Informática, Universidad de Tel Aviv (2008), [2] Premio ACM SIGSOFT Retrospective Impact Paper (con Thomas Reps , Susan Horowitz y Genevieve Rosay , 2011), [3] Premio Microsoft Outstanding Collaborator (2016), [4] y ACM Compañero (2016). [5]
Un análisis de autoría y colaboraciones en la comunidad de investigación de lenguajes de programación ha llamado a Sagiv "el Kevin Bacon de la comunidad PLDI ". [6]
Sagiv está casado con la Dra. Tamar Sagiv y juntos tienen tres hijas. Aya Sagiv, Naama Sagiv y Hagar Sagiv.