Амир Пнуэли

Родившийся в Израиле еврей, выросший в мошаве Нахалаль, Пнуэли сначала изучал математику в Технионе, а затем обратился к информатике. В поворотной статье 1977 года он ввёл темпоральную логику — формальный язык «всегда» и «когда-нибудь» — как строгий способ задавать и проверять, как ведут себя во времени параллельные и реактивные программы. Эта работа основала область формальной верификации и принесла ему в 1996 году премию Тьюринга; её значение в том, что она позволяет инженерам математически доказать, что критически важная программа не откажет.

Проверьте и углубитесь с помощью этих внешних источников.

Источник: Jinfo.org — Jewish recipients of the Turing Award