header
Mooly Sagiv @NYU
Johtava tutkija @CertoraInc ja ohjelmistojärjestelmien professori @TelAvivUni