Amir Pnueli

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
rdfs:label
"Amir Pnueli"@en
skos:altLabel
"Pnueli"@de
schema:description
"Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems"@en
schema:dateModified "2026-11-10T23:14:18+00:00"^^xsd:dateTime
schema:version 2567745366
wikibase:identifiers 31
wikibase:sitelinks 31
wikibase:statements 97
p:P1006 wd:statement/Q92649-41214BB1-0BF5-4A41-A13C-7A4AE95EF000
p:P101 wd:statement/Q92649-F7CF55B0-B639-4B47-AC00-977A7DF408D3
p:P106 wd:statement/Q92649-311C5EFC-84EC-441B-BB24-730ADC45086C
wd:statement/Q92649-374C18C6-DD0A-47DC-987B-4318807BDBCD
wd:statement/Q92649-729FC701-3952-4C9C-BEC2-ED59300E943C
wd:statement/Q92649-973A502A-70B6-4377-A708-7E00D04CE434
wd:statement/Q92649-FCB4F1F5-CAF6-43E4-9BAE-4E8EF484C3B6
p:P108 wd:statement/Q92649-044E541C-31A0-495B-BD6E-48716ABC2D95
wd:statement/Q92649-5554AC25-ABE5-4D86-A9C1-A2B2CDB5435F
wd:statement/Q92649-92AF482D-E9FE-4F18-884B-0871E4354502
p:P10832 wd:statement/Q92649-6c0fe77c-44fd-8fb6-b6c4-3f1136a86d1a
p:P11249 wd:statement/Q92649-AC4360A7-1D4B-4C9C-99EB-601DA2DBDCF9
p:P1196 wd:statement/Q92649-B124C9C1-2DA9-4912-8485-D5DA9C476C09
p:P1207 wd:statement/Q92649-745AE4AF-6C0C-459A-BCA6-AAE53027F384
p:P13049 wd:statement/Q92649-1EFC9654-F24C-4492-97D2-F649DC131384
p:P13183 wd:statement/Q92649-E41B96A0-B9F7-48F7-9CF0-573D66689849
p:P13408 wd:statement/Q92649-75EB03CD-E1FD-49B5-B7EC-2A1AA1ADE72F
p:P13591 wd:statement/Q92649-9A990625-664C-400E-9471-9A9ACA3A696D
p:P1417 wd:statement/Q92649-6d7c1571-4eb4-6c80-143a-2cbea8063c89
p:P14178 wd:statement/Q92649-A9C09B5D-3CD5-4555-9F74-DA36643EFA4B
p:P1556 wd:statement/Q92649-DAA5DEAE-CFED-4EDC-A4E4-B3C431E61C2C
p:P1559 wd:statement/Q92649-c9fb5f9f-425f-c3fe-fccc-5092e185b3bf
p:P166 wd:statement/Q92649-20A0E1FD-3C6C-4222-B089-3E22E8975A01
wd:statement/Q92649-28CBFD60-7C81-4284-8DA7-BA0C09A111D0
wd:statement/Q92649-4A1CB535-B3A5-4917-80A3-240D2C370803
wd:statement/Q92649-8532D3F6-1A88-4BC7-84D8-DB6B42A458F8
wd:statement/Q92649-8D1678A3-A256-4504-A2BA-7C8CE2B0BB32
p:P18 wd:statement/Q92649-0c0c8929-4944-1981-4d19-6be4f54405f1
wd:statement/Q92649-7CDFB826-6670-45A5-A9E8-206D1D47D0CE
p:P184 wd:statement/Q92649-6d013b08-9c4b-4925-b6fc-3198843afa5f
p:P185 wd:statement/Q92649-00903d3f-40cb-4459-96e5-a7bb75e64cfa
wd:statement/Q92649-04e33907-4e35-4f03-a027-c7520eb65f11
wd:statement/Q92649-0b3e5dfc-ca48-4346-aac4-76f2fea87c15
wd:statement/Q92649-18d1036f-d998-4b00-b6aa-dc0a4998c46d
wd:statement/Q92649-31f3d830-669e-4702-824d-0f769c941624
wd:statement/Q92649-451f52e9-4692-8f6b-fee6-9248d1105d1e
wd:statement/Q92649-53793f08-0725-44e2-9c7b-2e77eea51096
wd:statement/Q92649-555b7873-3a5e-479e-8f54-0696ff3c5c6b
wd:statement/Q92649-5cd891d1-4437-e117-7640-96915b45c407
wd:statement/Q92649-5d90e7a4-0e36-40dd-81a0-63aa6ff90d38
wd:statement/Q92649-6e0f3927-8629-45ce-844f-64843872e752
wd:statement/Q92649-77e374b5-fc14-4adb-a0e8-288feff46160
wd:statement/Q92649-77fecbd0-3924-45e6-9e4f-d0f2d44568c0
wd:statement/Q92649-845b447d-4ee2-4073-b29d-8178af1578cb
wd:statement/Q92649-85df962d-a21a-4c36-af66-71a794a2033d
wd:statement/Q92649-a1560dae-217d-4c5f-a08d-dba49e8b1d72
wd:statement/Q92649-a49b6f40-4eda-4898-b6c3-401e1d8a603c
wd:statement/Q92649-a4b5bea1-20f2-416b-a507-526b2ee48d32
wd:statement/Q92649-ae2da181-3346-45c3-976a-d7b1acdb9f59
wd:statement/Q92649-be399803-a156-4e73-b33c-95dee7ff07fd
wd:statement/Q92649-c176d968-428e-8816-bccb-983e73c7dd1d
wd:statement/Q92649-d03ff2ac-6a7a-4c0e-a4f8-5b42ea5334f0
wd:statement/Q92649-e1ba63f5-899e-486f-b677-6cab80863ea9
wd:statement/Q92649-e740302e-3841-45af-97e4-89041b2070df
wd:statement/Q92649-ebbb0a16-4a22-411f-a6a9-c167924a8371
wd:statement/Q92649-f3141e68-0018-47cf-97ae-2058649d6166
wd:statement/Q92649-f67673bd-61d6-4313-9b35-4c4fb717696e
p:P19 wd:statement/Q92649-DBED5D0C-395E-40AD-9CA0-EDC7CA32722C
p:P20 wd:statement/Q92649-CD5D337A-3D47-4471-8985-D9BF5E613A04
p:P2021 wd:statement/Q92649-3D8DF0DF-5F17-4FF8-8F1A-2D2E78AF2AC7
p:P21 wd:statement/Q92649-773B44C9-1B3B-4C14-BD64-E0872053F246
p:P213 wd:statement/q92649-B8568C9D-96AE-4501-AC24-F7EA261C0FEB
p:P214 wd:statement/q92649-F8908445-D054-4212-B694-FD39C38DD497
p:P227 wd:statement/Q92649-1C93FD47-33BC-43B2-B518-A3A75A14622C
p:P2381 wd:statement/Q92649-038af899-43c0-6ee2-bcb2-143403283111
p:P244 wd:statement/q92649-6936805F-1B80-4263-810E-AA5EBF510D41
p:P2456 wd:statement/Q92649-4404403f-409d-9f4c-3522-93756419e19b
p:P2600 wd:statement/Q92649-2FA1006C-E321-48A5-A016-0B453825AE67
p:P268 wd:statement/q92649-6FBB74BC-FF69-4187-B9E6-CA25AD7284A1
p:P269 wd:statement/q92649-1311D18C-9816-4DE1-87EF-DEE4B2FAC4E9
p:P27 wd:statement/Q92649-4EC79BE5-15BB-47A4-888E-221067EB1244
p:P2949 wd:statement/Q92649-AAAC7F6C-C225-4BC9-A906-149088A7A8FF
p:P31 wd:statement/Q92649-A87FC1CA-485A-48E4-A107-3C5FBFBAF615
p:P3368 wd:statement/Q92649-8A8DCA00-A696-4917-913B-C11F3F454DB8
p:P373 wd:statement/q92649-BC5B389D-0537-4548-8B5C-D7FF426AD5A2
p:P3987 wd:statement/Q92649-B2A8EFF8-F120-48A3-9F6B-AD57EE0E7931
p:P463 wd:statement/Q92649-2effa723-4c75-9ffd-d57c-8cc94fc4332e
wd:statement/Q92649-4C639543-05CE-4F49-B2F9-22F32CCA8F41
wd:statement/Q92649-B440A103-A01C-422E-9DD4-7057C79EE7C0
p:P4955 wd:statement/Q92649-603BF387-BD3A-461A-AE91-79FE414FDB5B
p:P509 wd:statement/Q92649-e4abce90-23d5-447b-ab08-92121ea45c3b
p:P5361 wd:statement/Q92649-43DD80D8-B089-4462-A369-25CC5C143E62
p:P549 wd:statement/q92649-E4635672-4E36-4D81-B237-36A01E9CE4C3
p:P569 wd:statement/q92649-24AD1806-8B3E-4AEC-A188-B2274A4B2CE7
p:P570 wd:statement/q92649-C5BE41CF-20BC-4C6B-BE18-2AC201BACE9F
p:P6104 wd:statement/Q92649-8AA9005A-C01C-4298-BBC4-38A28EA7D1EF
p:P646 wd:statement/Q92649-76085178-04A6-437B-9FBD-CDA413B7411E
p:P69 wd:statement/Q92649-CAD48A0F-74E5-4D44-B054-5AC8305D51E7
wd:statement/Q92649-EC185B80-D9C9-45D6-B871-99D7CBC6CF05
p:P691 wd:statement/Q92649-1A604289-9651-4B68-BE57-86F15481114B
p:P7184 wd:statement/Q92649-524E405C-1449-4725-95C0-33A2E54566AA
p:P734 wd:statement/Q92649-74bf6204-42ce-b433-fad9-d707300ff9a6
p:P735 wd:statement/Q92649-94B52CC3-3339-47EB-A64B-912F2244D42B
p:P8189 wd:statement/Q92649-D081657F-F1AA-4076-BC74-447FAEC49415
p:P856 wd:statement/Q92649-49A54595-56DD-4EC2-93A0-44835056FACA
p:P864 wd:statement/Q92649-07a87101-4b19-528a-ebcf-bf68db7d6e33
p:P937 wd:statement/Q92649-384FA7B0-8AD1-489B-B649-74777D59788A
p:direct-normalized/P1006 <http://data.bibliotheken.nl/id/thes/p068748698>
p:direct-normalized/P214 <http://viaf.org/viaf/59337776>
p:direct-normalized/P227 <https://d-nb.info/gnd/1076344267>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/n85817647>
p:direct-normalized/P2456 <https://dblp.org/pid/p/AmirPnueli>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb146146775#about>
p:direct-normalized/P269 <http://www.idref.fr/066852196/id>
p:direct-normalized/P5361 <https://bl.natbib-lod.org/wd-PnueliAmir1941-2009>
wdt:P1006 "068748698"
wdt:P101 computer science
wdt:P106 pedagogue
university teacher
mathematician
engineer
computer scientist
wdt:P108 Tel Aviv University
New York University
New York University Tandon School of Engineering
wdt:P10832 "E39PBJv8JrGHY4Hkm9tjfKCWjC"
wdt:P11249 "13962714"
wdt:P1196 natural causes
wdt:P1207 "n94300055"
wdt:P13049 "1076344267"
wdt:P13183 "1076344267"
wdt:P13408 "30512"
wdt:P13591 "person/b849140f-6bee-46df-ae7e-26f3f142315b"
wdt:P1417 "biography/Amir-Pnueli"
wdt:P14178 "xx0013901"
wdt:P1556 "pnueli.amir"
wdt:P1559 "אמיר פנואלי"@he
wdt:P166 honorary doctorate from Joseph Fourier University
Turing Award
ACM Fellow
Israel Prize
ACM Software System Award
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Amir%20Pnueli.jpg>
wdt:P184 Chaim L. Pekeris
wdt:P185 Asher Wilk
Lenore Zuck
Yonit Kesten
Yair Eran
Oded Maler
Orna Lichtenstein
Roni Rosner
Rivka Zarhy-Sherman
Giora Slutzki
Hillel Kugler
Ofer Strichman
Raya Leviathan
Yi Fang
Elad Shahar
Ariel Cohen
Sitvanit Ruah
Ittai Balaban
Uri Klein
Yaniv Sa'ar
Dana Fisman
Dov Dori
Dan Zachai
Gera Weiss
Mordechai Ben-Ari
Nissim Francez
Shmuel Safra
Doron A. Peled
wdt:P19 Nahalal
wdt:P20 New York City
wdt:P2021 2.0^^xsd:decimal
wdt:P21 male
wdt:P213 "0000000083864015"
wdt:P214 "59337776"
wdt:P227 "1076344267"
wdt:P2381 "416964"
wdt:P244 "n85817647"
wdt:P2456 "p/AmirPnueli"
wdt:P2600 "6000000025859880052"
wdt:P268 "146146775"
wdt:P269 "066852196"
wdt:P27 Israel
wdt:P2949 "Pnueli-1"
wdt:P31 human
wdt:P3368 "263252"
wdt:P373 "Amir Pnueli"
wdt:P3987 "53228"
wdt:P463 Association for Computing Machinery
National Academy of Engineering
Israel Academy of Sciences and Humanities
wdt:P4955 "140450"
wdt:P509 cerebral hemorrhage
wdt:P5361 "PnueliAmir1941-2009"
wdt:P549 "18997"
wdt:P569 "1941-04-22T00:00:00+00:00"^^xsd:dateTime
wdt:P570 "2009-11-02T00:00:00+00:00"^^xsd:dateTime
wdt:P6104 WikiProject Mathematics
wdt:P646 "/m/01svgc"
wdt:P69 Technion – Israel Institute of Technology
Weizmann Institute of Science
wdt:P691 "xx0013901"
wdt:P7184 "01svgc"
wdt:P734 Pnueli
wdt:P735 Amir
wdt:P8189 "987007392321405171"
wdt:P856 <http://www.wisdom.weizmann.ac.il/~amir/>
wdt:P864 "81100648459"
wdt:P937 Weizmann Institute of Science
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata