Amir Pnueli

Amir Pnueli
Le professeur Amir Pnueli en janvier 2005.
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 68 ans)
New YorkVoir et modifier les données sur Wikidata
Nom dans la langue maternelle
אמיר פנואליVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Chaim L. Pekeris (en)Voir et modifier les données sur Wikidata
Site web
Distinctions

modifier - modifier le code - modifier WikidataDocumentation du modèle

Amir Pnueli (hébreu : אמיר פנואלי) est un informaticien israélien né le et mort le d'une hémorragie intra-cérébrale[1],[2].

Il a obtenu le prix Turing et le prix Israël.

Biographie

Amir Pnueli est né dans le moshav Nahalal en 1941. Son père, qui était enseignant, a fondé le département de littérature hébraïque de l'université de Tel-Aviv. En 1945, sa famille déménage pour Holon. Il étudie les mathématiques au Technion à Haïfa, puis passe son doctorat à l'Institut Weizmann de Rehovot sous la direction du professeur Haïm Leib Pekeris.

Amir Pnueli 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 ». Ses travaux ont notamment porté sur les notions de vivacité et d'équité dans les systèmes concurrents et à leur intégration dans les techniques de model checking. En 1998, il reçoit le titre de docteur honoris causa de l'université Joseph-Fourier - Grenoble 1[3].

Amir Pnueli était professeur à l'Institut Weizmann en Israël et à l'université de New York, aux États-Unis d'Amérique.

Références

  1. ↑ Weizman Institute Faculty of Mathematics and Computer Science, 3 novembre 2009 : « With deep sorrow we announce the demise of Professor Amir Pnueli on November 2, 2009. »
  2. ↑ (en) « Amir Pnueli, Pioneer of Temporal Logic, Dies at 68 », The New York Times, 14 novembre 2009.
  3. ↑ Université Joseph-Fourier - Grenoble 1.

Liens externes

v · m
Lauréats du prix Turing

Read other articles:

Shanghai Shengli

Topik artikel ini mungkin tidak memenuhi kriteria kelayakan umum. Harap penuhi kelayakan artikel dengan: menyertakan sumber-sumber tepercaya yang independen terhadap subjek dan sebaiknya hindari sumber-sumber trivial. Jika tidak dipenuhi, artikel ini harus digabungkan, dialihkan ke cakupan yang lebih luas, atau dihapus oleh Pengurus.Cari sumber: Shanghai Shengli – berita · surat kabar · buku · cendekiawan · JSTOR (February 2023) (Pelajari cara dan kapa...

 

Dirk V, Count of Holland

First Count of the Northern Netherlands This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (October 2017) (Learn how and when to remove this template message) Seal of Dirk V Dirk V (1052 – June 17, 1091) was Count of Holland (called Frisia at that time) from 1061 to 1091. Dirk V succeeded his father, Floris I, under the guardi...

 

Partai Bajak Laut (Islandia)

Partai Bajak Laut PíratarPendiriBirgitta JónsdóttirEva Lind ÞuríðardóttirHelgi Hrafn GunnarssonJón Þór ÓlafssonSmári McCarthyBjörn Þór JóhannessonJason Scott KatzDibentuk24 November 2012Kantor pusatFiskislóð 31, 101 ReykjavíkSayap pemudaUngir PiratarKeanggotaan (2015)1.443[1]IdeologiPirate politicsDirect democracyPosisi politikSinkretikAfiliasi EropaPartai Bajak Laut EropaWarna    Ungu dan hitamLambang pemiluPSitus webpiratar.is Partai Bajak Laut (bah...

Zhangjiajie

Zhangjiajie 张家界市Kota tingkat prefekturKawasan Peminatan Sejarah dan Pemandangan WulingyuanJulukan: DayongZhangjiajieLetak pusat kota di HunanKoordinat: 29°09′N 110°29′E / 29.150°N 110.483°E / 29.150; 110.483NegaraRepublik Rakyat TiongkokProvinsiHunanLuas • Total9,518 km2 (3,675 sq mi)Populasi (2010) • Total1.476.521Zona waktuUTC+8 (Standar Tiongkok)Situs webwww.zjj.gov.cn Zhangjiajie Zhangjiajie dalam kar...

 

Human rights in Poland

Human rights in Poland are enumerated in the second chapter of its Constitution, ratified in 1997. Poland is a party to several international agreements relevant to human rights, including the European Convention on Human Rights, the Universal Declaration of Human Rights, the Helsinki Accords, the International Covenant on Civil and Political Rights, the International Covenant on Economic, Social and Cultural Rights and the Convention on the Rights of the Child. Human rights in Poland are not...

 

The One and Only Ivan

2012 book by Katherine Applegate For the 2020 film adaptation, see The One and Only Ivan (film). The One and Only Ivan First editionAuthorKatherine ApplegateIllustratorPatricia CastelaoCountryUnited StatesLanguageEnglishGenreChildren's LiteraturePublisherHarperCollinsPublication date2012Media typePrint (hardcover) The One and Only Ivan is a 2012 novel written by Katherine Applegate and illustrated by Patricia Castelao. It is about a silverback gorilla named Ivan who lived in a cage at a ...

Voice acting in Japan

Seiyu redirects here. For other uses, see Seiyu (disambiguation). Occupation in Japan This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (October 2009) (Learn how and when to remove this message) You can help ex...

 

Ash-Shati

Ash-ShatiLingkunganNegaraArab SaudiProvinsiProvinsi MakkahPemerintahan • Wali kotaHani Abu Ras[1] • Gubernur kotaMish'al Al-SaudKetinggian12 m (39 ft)Zona waktuUTC+3 (AST) • Musim panas (DST)ASTKode pos(5 kode digit dimulai dari 23; e.g. 23434)Kode area telepon+966-12Situs webwww.jeddah.gov.sa/english/index.php Ash-Shati adalah sebuah permukiman padat penduduk di kota Jeddah di Provinsi Makkah, tepatnya di sebelah barat Arab Saudi.[3&#...

 

Omen IV: The Awakening

1991 made-for-television film directed by Dominique Othenin-Girard Omen IV: The AwakeningGenreHorrorBased onCharactersby David SeltzerScreenplay byBrian TaggertStory by Harvey Bernhard Brian Taggert Directed by Jorge Montesi Dominique Othenin-Girard Starring Faye Grant Michael Woods Asia Vieira Music byJonathan ShefferCountry of originUnited States[1]Original languageEnglishProductionExecutive producerMace NeufeldProducers Harvey Bernhard Robert J. Anderson Production locationVancouve...

Tour de France 2014

Questa voce o sezione sull'argomento competizioni ciclistiche non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.  Tour de France 2014Edizione101ª Data5 luglio - 27 luglio PartenzaLeeds ArrivoParigi (Avenue des Champs-Élysées) Percorso3 664 km, 21 tappe Tempo89h59'6 Media40,679 km/...

 

Elections in Palau

Overview of elections in Palau Politics of Palau Constitution Human rights LGBT rights Executive President Surangel Whipps Jr. Vice President Uduch Sengebau Senior Legislative National Congress Senate President: Hokkons Baules House of Delegates Speaker: Sabino Anastacio Judiciary Supreme Court Chief Justice: Oldiais Ngiraikelau Elections Recent elections General: 201220162020 Political parties Administrative divisions States Governor of Koror Governor of Peleliu Foreign relations Ministry of...

 

Чернігівська площа

Чернігівська площаКиїв Чернігівська площа, серпень 2009 рокуЧернігівська площа, серпень 2009 рокуМісцевість Лісовий масив, Північно-Броварський масивРайон ДніпровськийРозміщення між вулицями Андрія Малишка, Миропільською, Братиславською, Кіото та шляхопроводом на вулиц...

Juan Antonio Samaranch

President of the International Olympic Committee from 1980 to 2001 In this Spanish name, the first or paternal surname is Samaranch and the second or maternal family name is Torelló. His Excellency The Most ExcellentThe Marquess of SamaranchSamaranch in 19987th President of the International Olympic CommitteeIn office3 August 1980 – 16 July 2001Preceded byLord KillaninSucceeded byJacques RoggeHonorary President of the IOCIn office16 July 2001 – 21 April 2010Pres...

 

Hektare

Perbandingan unit luas Unit SI 1 ca 1 m² 1 a 100 m² 1 ha 10.000 m² 100 ha 1 km² Perbandingan non-SI Non-SI Metrik 0,3861 mi² 1 km² 2,471 acre 1 ha 107.639 kaki² 1 ha 1 mi² 259,0 ha 1 acre 0,4047 ha HektareVisualisasi satu hektareInformasi umumSistem satuanSatuan non-SI yang bisa digunakan bersama SIBesaranLuasSimbolhadalam Satuan pokok SI:1 ha = 104 m2 Hektare (Disingkat ha) merupakan satuan luas yang umum dipakai untuk menyatakan luas tanah yang setara dengan 10.000 m...

 

Book of Jonah

Book of the Bible Illustrated Jonah from the 15th-century Kennicott Bible Hebrew Bible (Judaism) Torah (Instruction)GenesisBereshitExodusShemotLeviticusWayiqraNumbersBemidbarDeuteronomyDevarim Nevi'im (Prophets) Former JoshuaYehoshuaJudgesShofetimSamuelShemuelKingsMelakhim Latter IsaiahYeshayahuJeremiahYirmeyahuEzekielYekhezqel Minor Hosea Joel Amos Obadiah Jonah Micah Nahum Habakkuk Zephaniah Haggai Zechariah Malachi Ketuvim (Writings) Poetic PsalmsTehillimProverbsMishleiJobIy...

Dollaro dei Caraibi Orientali

Questa voce sugli argomenti valute e Caraibi è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Dollaro dei Caraibi OrientaliNome locale(EN) East Caribbean dollar Retro di una banconota da 5 EC$ Codice ISO 4217XCD Stati Anguilla Antigua e Barbuda Dominica Grenada Montserrat Saint Kitts e Nevis Saint Lucia Saint Vincent e Grenadine SimboloEC$ Frazionicent (1/100), simbolo c Monete5, 10, 25 cents, 1 $ ...

 

عمل مأجور

جُزء من سلسلة مقالات حولالرأسمالية مفاهيم عمل تجاري دورة أعمال أصحاب أعمال رأس مال تراكم رأس المال سوق رأس المال شركة مؤسسة تجارية منافسة تدخل اقتصادي ليبرالية اقتصادية فائض اقتصادي ريادة أعمال رأس مال وهمي سوق مالية Free price system سوق حر Goods and services مستثمر اليد الخفية Liberalization �...

 

Health consequences of the Deepwater Horizon oil spill

This article is part of a series about theDeepwater Horizon oil spill BP Deepwater Horizon Explosion Oil spill Timeline Volume and extent Closure Response Environmental impact Health consequences Economic effects Reactions Investigation Litigation Compensation vte The Health consequences of the Deepwater Horizon oil spill are health effects related to the explosion of the Deepwater Horizon offshore drilling rig in the Gulf of Mexico on April 20, 2010. An oil discharge continued for 84 days, r...

Campania

For other uses, see Campania (disambiguation). Region in ItalyCampaniaRegion FlagCoat of armsCoordinates: 40°54′38″N 14°55′14″E / 40.91056°N 14.92056°E / 40.91056; 14.92056[1]Country ItalyCapitalNaplesGovernment • PresidentVincenzo De Luca (PD) • LegislatureRegional CouncilArea • Total13,671 km2 (5,278 sq mi)Population (30 April 2023) • Total5,580,567 • Density410/k...

 

Население Древней Руси

Аполлинарий Васнецов. Двор удельного князя Население Киевской Руси — жители Киевской Руси, возникшей в IX веке в результате объединения восточнославянских племён, ряда финно-угорских и балтских племён, а также народа русь (по мнению большинства учёных, имевшего варяж�...