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