Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы 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 жылы Пнуэли компьютерлік ғылымға уақыт логикасын енгізгені және бағдарламалар мен жүйелерді тексеру саласына елеулі үлес қосқаны үшін Тьюринг сыйлығымен марапатталды. 1997 жылғы 30 мамырда Пнуэли Швецияның Уппсала университетінің Ғылым және технология факультетінен құрметті доктор дәрежесін алды. 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.