Амир Пнуэли

1941 – 2009 · university teacher, pedagogue, mathematician, computer scientist, engineer

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems

Современники

Барак Обама (1961 – н. в.)
Дональд Трамп (1946 – н. в.)
Майкл Джексон (1958 – 2009)
Альберт Эйнштейн (1879 – 1955)
Владимир Владимирович Путин (1952 – н. в.)
Рональд Рейган (1911 – 2004)
Нельсон Мандела (1918 – 2013)
Махатма Ганди (1869 – 1948)
Джордж Буш — младший (1946 – н. в.)
Джо Байден (1942 – н. в.)
Иосиф Виссарионович Сталин (1878 – 1953)
Пабло Пикассо (1881 – 1973)
Чарли Чаплин (1889 – 1977)
Уинстон Черчилль (1874 – 1965)
Елизавета II (1926 – 2022)
Джон Фицджеральд Кеннеди (1917 – 1963)
Сальвадор Дали (1904 – 1989)
Мартин Лютер Кинг (1929 – 1968)
Рабиндранат Тагор (1861 – 1941)
Франклин Делано Рузвельт (1882 – 1945)