header
Mooly Sagiv @ TLV
Chief Scientist @CertoraInc e cattedra di sistemi software presso @TelAvivUni