Амир Пнуели

Амир Пнуели (22 апреля 1941 — 2 ноября 2009) —израильский и американский учёный в области теории вычислительных систем, профессор по информатике при институте Вейцмана.

Амир Пнуели

Одно из важных достижений:
Исследование темпоральной логики.

Лауреат Премии Тьюринга 1996 года
за плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем

 

Похожая информация:
Яндекс цитирования Яндекс.Метрика