header
Mooly Sagiv @ TLV
Chief Scientist @CertoraInc och ordförande för programvarusystem på @TelAvivUni