header
Mooly Sagiv @ TLV
Sjefsforsker @CertoraInc og leder for programvaresystemer ved @TelAvivUni