учёный в области теории вычислительных систем, профессор по информатике при институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование временной логики и её применения в верификации программ.
Убедительная просьба, избегать сообщений типа она просто супер, он такой лапочка, она очень красивая, хочу от него детей, ненавижу этого козла. Все подобные сообщения будут удалены, так как не несут смысловой ценности. Постарайтесь написать развернутое агрументированное мнение о Пнуели Амире или просто проголосуйте за уже существующий комментарий, схожий с вашим мнением. Спасибо за понимание.