علماء إسرائيليون, علوم الحاسوب, منطق البرمجة, هندسة البرمجيات

ديفيد هاريل (David Harel)