header
Mooly Sagiv @NYU
Главный научный сотрудник @CertoraInc и заведующий кафедрой программных систем в @TelAvivUni