Амир Пнуели (22 апреля 1941 — 2 ноября 2009) —израильский и американский учёный в области теории вычислительных систем, профессор по информатике при институте Вейцмана.
Одно из важных достижений:
Исследование темпоральной логики.
Лауреат Премии Тьюринга 1996 года
за плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем
Похожая информация: