Пнуэли, Амир

Амир Пнуэли
ивр. אמיר פנואלי‎
Амир Пнуэли, 2006 год
Амир Пнуэли, 2006 год
Дата рождения 22 апреля 1941(1941-04-22)
Место рождения Нахалаль, Палестина, ныне Израиль
Дата смерти 2 ноября 2009(2009-11-02) (68 лет)
Место смерти Нью-Йорк
Страна  Израиль
Род деятельности специалист в области информатики, инженер, педагог, преподаватель университета, математик
Научная сфера информатика
Место работы Институт Вейцмана, Университет Нью-Йорка
Альма-матер Израильский технологический институт, Институт Вейцмана
Научный руководитель Пекерис, Хаим Лейб
Награды и премии Премия Тьюринга
Сайт web.archive.org/web/2003…
Логотип Викисклада Медиафайлы на Викискладе

Амир Пнуэли (ивр. אמיר פנואלי‎, 22 апреля 1941 года, Нахалаль, Палестина — 2 ноября 2009 года, Нью-Йорк, США) — израильский и американский учёный в области теории вычислительных систем, профессор информатики при Институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование темпоральной логики и её применения в верификации программ.

Биография

Получил степень бакалавра в Израильском технологическом институте (Хайфа), степень доктора философии по прикладной математике — в Институте Вейцмана в 1967 году с диссертацией о расчёте океанских приливов. После работы в качестве постдока в Стэнфордском университете вернулся в Реховот. В 1973 году переехал в Тель-Авив, основал в Тель-Авивском университете факультет информатики и стал его первым деканом. В 1981 году перешёл на должность профессора информатики в Институте Вейцмана.

С 1999 года — профессор Нью-Йоркского университета. В 2007 году избран действительным членом Ассоциации вычислительной техники.

Основал две фирмы — Mini-Systems и AdCad.

Был женат, имел трёх детей и внука.[1]

Скончался 2 ноября 2009 года в возрасте 68 лет от кровоизлияния в мозг[2].

Награды

Примечания

  1. ↑ Short biography of Amir Pnueli Harel. Дата обращения: 9 февраля 2009. Архивировано 6 марта 2009 года.
  2. ↑ Amir Pnueli: Ahead of His Time, 2010.
  3. ↑ ACM Award Citation / Amir Pnueli. Дата обращения: 9 февраля 2009. Архивировано из оригинала 28 февраля 2008 года.

Литература

Ссылки

Read other articles:

Gladys Brockwell

Gladys BrockwellBrockwell, c. 1920LahirGladys LindemanSeptember 26, 1894Brooklyn, New York, A.S.Meninggal2 Juli 1929(1929-07-02) (umur 0)Hollywood, California, A.S.PekerjaanAktrisTahun aktif1913–1929Suami/istriRobert B. Broadwell ​ ​(m. 1915; c. 1918)​ Harry Edwards ​ ​(m. 1918; annulled 1919)​ Gladys Brockwell (née Lindeman; 26 September 1894 – 2 Juli 1929)[1]...

 

Eqalugaarsuit

EqalugaarsuitEqalugaarsuitLokasi di GreenlandKoordinat: 60°37′20″N 45°54′35″W / 60.62222°N 45.90972°W / 60.62222; -45.90972Koordinat: 60°37′20″N 45°54′35″W / 60.62222°N 45.90972°W / 60.62222; -45.90972Negara berdaulat Kerajaan DenmarkNegara konstituen GreenlandMunisipalitas KujalleqPemerintahan • Wali kotaLars Boassen[1]Populasi (2020) • Total49Zona waktuUTC-03Kode pos3920 Qa...

 

Boxes (perangkat lunak)

GNOME Boxes GNOME Boxes 3.32Tipeperangkat lunak bebas dan sumber terbuka Versi stabil 41.2 (6 Desember 2021) LisensiGNU Library General Public License, version 2.0 (en) Bagian dariGNOME Core Applications (en) Karakteristik teknisSistem operasiLinux Bahasa pemrogramanVala (en) dan C Antarmuka BibliotecaGTK Informasi pengembangPengembangProjek GNOMESumber kode Kode sumberPranala Debiangnome-boxes Arch Linuxgnome-boxes Ubuntugnome-boxes Gentoognome-extra/gnome-boxes Fedoragnome-boxes Informasi t...

Кингисепп

У этого термина существуют и другие значения, см. Кингисепп (значения). Запрос «Ямбург» перенаправляется сюда; см. также другие значения. ГородКингисепп Флаг Герб 59°22′41″ с. ш. 28°36′04″ в. д.HGЯO Страна  Россия Субъект Федерации Ленинградская область Муниципа�...

 

Validity (logic)

For other uses, see Validity. Argument whose conclusion must be true if its premises are In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false.[1] It is not required for a valid argument to have premises that are actually true,[2] but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. Valid ...

 

أييوس كونستانتينوس (فثيوتيس)

  لمعانٍ أخرى، طالع أييوس كونستانتينوس (توضيح). أييوس كونستانتينوس   تقسيم إداري البلد اليونان  [1] خصائص جغرافية إحداثيات 38°45′29″N 22°51′28″E / 38.758164°N 22.857871°E / 38.758164; 22.857871   الارتفاع 10 متر  السكان التعداد السكاني 2574 (2001)2362 (1991)2289 (resident population of Greece) (...

Dewan Perwakilan Rakyat Daerah Kabupaten Purworejo

Dewan Perwakilan Rakyat Daerah Kabupaten PurworejoDewan Perwakilan RakyatKabupaten Purworejo2019-2024JenisJenisUnikameral SejarahSesi baru dimulai14 Agustus 2019PimpinanKetuaDion Agasi Setiabudi, S.I.Kom., M.Si. (PDI-P) sejak 26 September 2019 Wakil Ketua IKelik Susilo Ardani, S.E., M.IP., M.A.P. (Golkar) sejak 26 September 2019 Wakil Ketua IIYophi Prabowo, S.H. (Demokrat) sejak 26 September 2019 Wakil Ketua IIIH. Fran Suharmaji, S.E., M.M. (PKB) sejak 8 Oktober 2019 Komposisi...

 

Takuma Asano

Takuma Asano Informasi pribadiNama lengkap Takuma AsanoTanggal lahir 10 November 1994 (umur 29)Tempat lahir Prefektur Mie, JepangTinggi 173 m (567 ft 7 in)Posisi bermain PenyerangInformasi klubKlub saat ini VfL BochumNomor 10Karier junior2010–2013 Yokkaichi Chuo TechnicalKarier senior*Tahun Tim Tampil (Gol)2013–2016 Sanfrecce Hiroshima 60 (13)2014–2015 → J.League U-22 (pinjaman) 3 (0)2016–2019 Arsenal 0 (0)2016–2018 → VfB Stuttgart (pinjaman) 41 (5)2018–20...

 

Hypogastric nerve

Human nerves Hypogastric nerveAutonomic plexuses and ganglia on the abdominal aorta. (Hypogastric nerves visible at the bottom of the image but not labeled.)DetailsIdentifiersLatinnervus hypogastricusTA98A14.3.03.047TA26714FMA77596Anatomical terms of neuroanatomy[edit on Wikidata] The hypogastric nerves (one on each side) are the continuation of the superior hypogastric plexus that descend into the pelvis anterior the sacrum and become the inferior hypogastric plexuses on either side of p...

André Wilms

Pour les articles homonymes, voir Wilms. André Wilms André Wilms au festival de Cannes 2011. Données clés Nom de naissance André René Wilms Naissance 29 avril 1947Strasbourg (Bas-Rhin), France Nationalité Française Décès 9 février 2022 (à 74 ans)13e arrondissement de Paris (Île-de-France), France Profession Acteur Metteur en scène Films notables La vie est un long fleuve tranquilleLe Havre modifier André Wilms, né le 29 avril 1947 à Strasbourg[1] et mort le 9 févr...

 

Sprang

Résille à cheveux réalisée au moyen de la technique du Sprang Le sprang est une très ancienne méthode de construction de tissu dont le résultat final ressemble à certains ouvrages en tricot ou au crochet. La technique utilisée est cependant totalement différente. Des artefacts datant de l'âge du bronze ont été découverts lors de fouilles archéologiques. Historiquement, certains objets ont été identifiés à tort comme étant des objets tricotés ou en dentelle. La technique ...

 

كأس أذربيجان 2004–05

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (نوفمبر 2019) كأس أذربيجان 2004–05 تفاصيل الموسم كأس أذربيجان  النسخة 13  البلد أذربيجان  التاريخ بداية:20 أكتوبر 200...

AEGON International 2011

AEGON International 2011 Sport Tennis Data 11 giugno – 18 giugno Edizione 3a (uomini)37a (donne) Superficie Erba Campioni Singolare maschile Andreas Seppi Singolare femminile Marion Bartoli Doppio maschile Jonathan Erlich / Andy Ram Doppio femminile Květa Peschke / Katarina Srebotnik 2010 2012 L'AEGON International 2011 è stato un torneo tennistico che si è svolto in concomitanza tra uomini e donne, su campi in erba all'aperto. È stata la 37ª edizione del torneo per le donne e la 3ª ...

 

Barney Frank

American politician (born 1940) Barney FrankMember of the U.S. House of Representativesfrom Massachusetts's 4th districtIn officeJanuary 3, 1981 – January 3, 2013Preceded byRobert DrinanSucceeded byJoe Kennedy IIIRanking Member of the House Financial Services CommitteeIn officeJanuary 3, 2011 – January 3, 2013Preceded bySpencer BachusSucceeded byMaxine WatersIn officeJanuary 3, 2003 – January 3, 2007Preceded byJohn LaFalceSucceeded bySpencer Bachus...

 

Eastwick (TV series)

American TV series or program EastwickGenre Dramedy Fantasy Supernatural Based onThe Witches of Eastwickby John UpdikeDeveloped byMaggie FriedmanStarring Ashley Benson Jon Bernthal Veronica Cartwright Jaime Ray Newman Lindsay Price Rebecca Romijn Sara Rue Johann Urb Paul Gross ComposerBlake NeelyCountry of originUnited StatesOriginal languageEnglishNo. of seasons1No. of episodes13 (2 unaired)ProductionExecutive producers Maggie Friedman Marc David Alpert Running time42 minutesProduction comp...

Campbell County, Kentucky

County in Kentucky, United States County in KentuckyCampbell CountyCountyThe Campbell County Courthouse in NewportLocation within the U.S. state of KentuckyKentucky's location within the U.S.Coordinates: 38°57′N 84°23′W / 38.95°N 84.38°W / 38.95; -84.38Country United StatesState KentuckyFoundedDecember 17, 1794Named forJohn CampbellSeatAlexandria and NewportLargest cityFort ThomasArea • Total159 sq mi (410 km2) • ...

 

Photosystem II

First protein complex in light-dependent reactions of oxygenic photosynthesis PSII redirects here. For the video game console, see PlayStation 2. For the Indonesian political party, see Indonesian Islamic Union Party. Cyanobacteria photosystem II, Dimer, PDB 2AXT Photosystem II (or water-plastoquinone oxidoreductase) is the first protein complex in the light-dependent reactions of oxygenic photosynthesis. It is located in the thylakoid membrane of plants, algae, and cyanobacteria. Within the ...

 

حديثات الجدران

اضغط هنا للاطلاع على كيفية قراءة التصنيف حديثات الجدرانالعصر: Neoproterozoic–Recent[1] البشائر الطلائع السحيق الجهنمي علقة طبية, a علقيات (Eukaryota: Animalia) التصنيف العلمي فوق النطاق: حديثات الجدران الاسم العلمي Neomura  نطاقات نطاق العتائق[1] نطاق حقيقيات النوى تعديل مصدري - تعديل ...

Unione Sportiva Pergocrema 1987-1988

Voce principale: Unione Sportiva Pergolettese 1932. Unione Sportiva PergocremaStagione 1987-1988Sport calcio Squadra Pergocrema Allenatore Augusto Bolli poi Ernesto Villa poi Adriano Cadregari Presidente Erasmo Andreini Serie C212º posto nel girone B. Maggiori presenzeCampionato: Venturato (34) Miglior marcatoreCampionato: Pernarella (9) 1986-1987 1988-1989 Si invita a seguire il modello di voce Questa pagina raccoglie le informazioni riguardanti l'Unione Sportiva Pergocrema nelle comp...

 

Eastern Antioquia

Location of the Eastern Antioquia region within the Department of Antioquia Eastern Antioquia (Spanish: Oriente Antioqueño) is subregion of the Colombian Department of Antioquia. The region consists of 23 municipalities. Geography The region of Eastern Antioquia limits to the north west with the Metropolitan Area of Medellín and with Northeastern Antioquia region. To the east the region borders with the Magdalena Medio Antioquia region, to the south with Caldas Department and to the west wi...