Amir Pnueli is an Israeli computer scientist who received the 1966 Turing Award. Born in Nahalal, Israel, Pnueli received a Bachelor's degree in Mathematics at the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science. 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.
| Property | Value |
|---|
| dbpedia-owl:Person/birthDate
| |
| dbpedia-owl:Person/birthPlace
| |
| dbpedia-owl:birthDate
| |
| dbpedia-owl:birthPlace
| |
| dbpedia-owl:thumbnail
| |
| dbpprop:abstract
|
- Amir Pnueli is an Israeli computer scientist who received the 1966 Turing Award. Born in Nahalal, Israel, Pnueli received a Bachelor's degree in Mathematics at the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science. 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. He returned to Israel as a researcher and after a sequence of academic appointments became Professor of Computer Science at the Weizmann Institute in 1981. Since 1999, Pnueli has also held a position at the Computer Science Department of New York University, New York, U.S.. Pnueli has also founded two startup technology companies during his career. He is married with three children and a grandchild.
- Amir Pnueli ist ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen geleistet hat, und dafür 1996 den Turing Award verliehen bekommen hat. Pnueli machte einen Bachelor in Mathematik am Technion in Haifa und einen Ph. D. in angewandter Mathematik am Weizmann-Institut für Wissenschaften in Rechowot. Während seiner Post-Doktoranden-Phase an der Stanford University und am Thomas J. Watson Research Center wechselte er in die Informatik. Zurück in Israel betätigte er sich zunächst im Weizmann-Institut in der Forschung, ging dann an die Universität Tel Aviv und gründete dort den Fachbereich für Informatik, dessen erster Vorsitzender er war. 1981 kehrte er als Professor für Informatik an das Weizmann-Institut zurück. Seit 1999 lehrt er auch an der New York University. 1971 war Pnueli an der Gründung des Softwareherstellers Mini-Systems beteiligt, 1984 gründete er mit seinen beiden Mini-Systems-Partnern und David Harel die Firma AdCad (später I-Logix, inzwischen Teil von Telelogic), wo er mit Harel den Statemate-Modellprüfer entwarf. Außerdem arbeitete er mit Harel an der Semantik und Implementation von dessen Zustandsübergangsdiagrammen. 1977 erzielte Pnueli mit seinem Paper The Temporal Logic of Programs einen wichtigen Durchbruch in der Verifizierung paralleler und reaktiver(?) Systeme. Er löste mit den Techniken, die er einführte einen Paradigmenwechsel in der Untersuchung des dynamischen Verhaltens von Systemen aus. Pnueli untersuchte erstmals das Laufverhalten von Programmen statt nur ihr Ein- / Ausgabeverhalten, und führte so einen mächtigen Formalismus zur Untersuchung von Programmen ein. Dies prägt bis heute das Studium paralleler Programme. 1997 bekam er von der Universität Uppsala einen Ehrendoktortitel verliehen, 1998 von der Universität Joseph Fourier in Grenoble. 2007 wurde er Fellow der ACM.
- Amir Pnueli (né le 22 Avril 1941) est un informaticien israélien qui a reçu le Prix Turing en 1996 pour un « travail fondateur introduisant la logique temporelle en informatique et pour des contributions exceptionnelles à la vérification des programmes et systèmes ». Amir Pnueli est actuellement professeur à l'Institut Weizmann en Israël.
- アミール・プヌーリ、ア（ー）ミール・ペヌーエーリー、アミル・ペヌエリ（ヘブライ語: אַמִיר(אָמִיר) פְּנוּאֵלִי ’a(ā)mīr pənū’ēlī; Amir Pnueli、1941年4月22日 - ）は、イスラエル人の計算機科学者。1996年、「計算機科学に時相論理を導入した独創的業績とプログラムやシステムの検証への多大な貢献に対して」チューリング賞を授与された。 イスラエルのナハラル Nahalal で生まれ、ハイファのイスラエル工科大学で数学の学士号を取得。ワイツマン科学研究所 Weizmann Institute of Science で数学の博士号を取得した。学位論文テーマは "Calculation of Tides in the Ocean"（海洋潮汐の計算）。 スタンフォード大学でのポスドク期間中に計算機科学に転向。研究者としてイスラエルに帰国し、1981年にワイツマン研究所の計算機科学の教授に就任。1999年から、ニューヨーク大学の計算機科学部門でも地位を得ている。 プヌーリはこれまでに2回、先端技術企業を創設した。
- Amir Pnueli is een Israëlisch informaticus en wiskundige. Gedurende zijn loopbaan heeft hij veel onderzoek gedaan naar temporele logica en in 1996 ontving hij de Turing Award voor [B]eslissend werk aan de introductie van temporele logica in de informatica en voor buitengewone bijdragen aan de verificatie van programma's en systemen. Pnueli studeerde wiskunde aan het Technion te Haifa, waar hij zijn bachelor behaalde. Daarna deed hij een promotieonderzoek binnen de toegepaste wiskunde aan het Weizmann-instituut der Wetenschappen; zijn onderwerp was "Berekening van Getijden in de Oceaan". Tijdens een korte periode als postdoc aan de Standford-universiteit stapte hij over naar de informatica. Hij keerde terug naar Israël als onderzoeker waar hij, na een verscheidenheid aan academische posten, hoogleraar werd aan het Weizmann-instituut. Daarnaast heeft Pnueli ook twee technologie-bedrijfjes gestart. Pnueli is getrouwd, heeft drie kinderen en een kleinkind.
- Amir Pnueli - informatyk, laureat nagrody Turinga w 1996 za wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów.
- Amir Pnueli este un informatician israelian, laureat al Premiului Turing în 1996, care, conform comisiei de acordare, i-a fost conferit pentru lucrări de referinţă ce au introdus logica temporală în informatică şi pentru remarcabile contribuţii în domeniul verificării programelor şi sistemelor.
- Амир Пнуели — учёный в области теории вычислительных систем, профессор по информатике при институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование временной логики и её применения в верификации программ.
|
| dbpprop:birthDate
| |
| dbpprop:birthPlace
| |
| dbpprop:dateOfBirth
| |
| dbpprop:field
| |
| dbpprop:hasPhotoCollection
| |
| dbpprop:imageWidth
| |
| dbpprop:name
| |
| dbpprop:nationality
| |
| dbpprop:prizes
| |
| dbpprop:reference
| |
| dbpprop:shortDescription
|
- Israeli computer scientist
|
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| dbpprop:workInstitution
| |
| rdf:type
| |
| rdfs:comment
|
- Amir Pnueli is an Israeli computer scientist who received the 1966 Turing Award. Born in Nahalal, Israel, Pnueli received a Bachelor's degree in Mathematics at the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science. 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.
- Amir Pnueli ist ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen geleistet hat, und dafür 1996 den Turing Award verliehen bekommen hat. Pnueli machte einen Bachelor in Mathematik am Technion in Haifa und einen Ph. D. in angewandter Mathematik am Weizmann-Institut für Wissenschaften in Rechowot. Während seiner Post-Doktoranden-Phase an der Stanford University und am Thomas J.
- Amir Pnueli (né le 22 Avril 1941) est un informaticien israélien qui a reçu le Prix Turing en 1996 pour un « travail fondateur introduisant la logique temporelle en informatique et pour des contributions exceptionnelles à la vérification des programmes et systèmes ». Amir Pnueli est actuellement professeur à l'Institut Weizmann en Israël.
- Amir Pnueli is een Israëlisch informaticus en wiskundige. Gedurende zijn loopbaan heeft hij veel onderzoek gedaan naar temporele logica en in 1996 ontving hij de Turing Award voor [B]eslissend werk aan de introductie van temporele logica in de informatica en voor buitengewone bijdragen aan de verificatie van programma's en systemen. Pnueli studeerde wiskunde aan het Technion te Haifa, waar hij zijn bachelor behaalde.
- Amir Pnueli - informatyk, laureat nagrody Turinga w 1996 za wprowadzenie logiki temporalnej do informatyki oraz znaczący wkład w weryfikację systemów i programów.
- Amir Pnueli este un informatician israelian, laureat al Premiului Turing în 1996, care, conform comisiei de acordare, i-a fost conferit pentru lucrări de referinţă ce au introdus logica temporală în informatică şi pentru remarcabile contribuţii în domeniul verificării programelor şi sistemelor.
- Амир Пнуели — учёный в области теории вычислительных систем, профессор по информатике при институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование временной логики и её применения в верификации программ.
|
| rdfs:label
|
- Amir Pnueli
- Amir Pnueli
- Amir Pnueli
- アミール・プヌーリ
- Amir Pnueli
- Amir Pnueli
- Amir Pnueli
- Пнуели, Амир
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:depiction
| |
| foaf:givenname
| |
| foaf:name
| |
| foaf:page
| |
| foaf:surname
| |
| is dbpedia-owl:Scientist/doctoralAdvisor
of | |
| is dbpedia-owl:doctoralAdvisor
of | |
| is dbpprop:doctoralAdvisor
of | |
| is dbpprop:redirect
of | |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
