Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Израильский учёный в области компьютерных наук Амир Пнуэли (22 апреля 1941 года – 2 ноября 2009 года) — израильский учёный в области компьютерных наук и лауреат премии Тьюринга 1996 года.
Israeli computer scientist
Amir Pnueli (; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
Биография
Пнуэли родился в Нахалале, в Британском мандате Палестины (ныне в Израиле) и получил степень бакалавра математики в Технионе в Хайфе и степень доктора философии в области прикладной математики в Институте науки Вейцмана (1967). Его диссертация была посвящена теме «Расчет приливов в океане». Он перешел в область компьютерных наук во время работы постдоком в Стэнфордском университете. Его работы в области компьютерных наук были сосредоточены на темпоральной логике и проверке моделей, в частности, на свойствах справедливости параллельных систем. Он вернулся в Израиль в качестве исследователя и был основателем и первым председателем отдела компьютерных наук Тель-Авивского университета. В 1981 году он стал профессором компьютерных наук в Институте Вейцмана. С 1999 года и до своей смерти Пнуэли также работал в отделе компьютерных наук Нью-Йоркского университета, Нью-Йорк, США. В течение своей карьеры Пнуэли основал две технологические стартап-компании. У него было трое детей, и на момент его смерти у него было четверо внуков.
Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and received a Bachelor's degree in mathematics from the Technion in Haifa, and Ph. D. in applied mathematics from the Weizmann Institute of Science (1967). His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post doctoral fellow at Stanford University. His works in computer science focused on temporal logic and model checking, particularly regarding fairness properties of concurrent systems. He returned to Israel as a researcher; he was the founder and first chair of the computer science department at Tel Aviv University. He became a professor of computer science at the Weizmann Institute in 1981. From 1999 until his death, Pnueli also held a position at the Computer Science Department of New York University, New York, U. S.
Pnueli also founded two startup technology companies during his career. He had three children and, at his death, had four grandchildren.
Награды и почести
В 1996 году Пнуэли получил премию Тьюринга за основополагающий вклад в применение темпоральной логики в информатике и за выдающиеся достижения в области верификации программ и систем. 30 мая 1997 года Пнуэли был удостоен почетной докторской степени факультета естественных и технических наук Уппсальского университета (Швеция). В 1999 году он был избран иностранным членом Национальной инженерной академии США. В 2000 году он был удостоен Премии Израиля по компьютерным наукам. В 2007 году он был принят в члены Ассоциации вычислительной техники. Институт науки Вейцмана организует серию мемориальных лекций в его честь.
In 1996, Pnueli received the Turing Award for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification. On May 30, 1997, Pnueli received an honorary doctorate from the Faculty of Science and Technology at Uppsala University, Sweden. In 1999, he was inducted as a Foreign Associate of the U. S. National Academy of Engineering. In 2000, he was awarded the Israel Prize, for computer science. In 2007, he was inducted as a Fellow of the Association for Computing Machinery. The Weizmann Institute of Science presents a memorial lecture series in his honour.