615:
31:
1264:
1214:
1184:
1234:
1259:
1219:
1254:
1204:
642:
1239:
262:(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
1229:
1244:
1199:
1089:
635:
564:
312:
Pnueli also founded two startup technology companies during his career. He had three children and, at his death, had four grandchildren.
368:
709:
980:
1249:
832:
628:
390:
1189:
516:
917:
375:
259:
1224:
593:
1209:
302:
142:
306:
281:
He returned to Israel as a researcher; he was the founder and first chair of the computer science department at
598:
551:
861:
1194:
55:
537:
289:
in 1981. From 1999 until his death, Pnueli also held a position at the
Computer Science Department of
1179:
1174:
251:
239:
1063:
512:
290:
282:
263:
231:
146:
138:
130:
1018:
883:
765:
715:
703:
448:
347:
286:
275:
211:
134:
911:
889:
159:
379:
1085:
1073:
1047:
1002:
998:
743:
737:
463:
410:
357:
In 1999, he was inducted as a
Foreign Associate of the U.S. National Academy of Engineering.
337:
into computing science and for outstanding contributions to program and systems verification
316:
294:
120:
73:
1146:
1099:
1079:
964:
950:
879:
838:
816:
759:
721:
680:
343:
203:
1134:
1069:
1057:
1035:
1012:
1006:
946:
873:
804:
674:
614:
586:
334:
271:
267:
179:
174:
169:
443:
1168:
1152:
1140:
1109:
1095:
1051:
992:
844:
826:
822:
810:
788:
686:
506:
490:
298:
77:
1113:
867:
800:
794:
733:
727:
651:
565:"Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient"
361:
329:
215:
103:
96:
1041:
923:
899:
753:
668:
255:
184:
164:
620:
1130:
1103:
986:
960:
956:
940:
782:
747:
976:
893:
581:
970:
654:
243:
30:
227:
51:
351:
235:
605:
247:
609:
624:
508:
NYU Professor Amir Pnueli, 68, Distinguished
Computer Scientist
485:
552:"Israel Prize Official Site (in Hebrew) – Recipient's C.V."
1265:
Foreign associates of the
National Academy of Engineering
1215:
Members of the Israel
Academy of Sciences and Humanities
1185:
2007 fellows of the
Association for Computing Machinery
1260:
Polytechnic
Institute of New York University faculty
444:"Amir Pnueli, Pioneer of Temporal Logic, Dies at 68"
210:; April 22, 1941 – November 2, 2009) was an Israeli
1123:
1028:
933:
854:
775:
696:
661:
285:. He became a professor of computer science at the
152:
126:
116:
92:
84:
62:
37:
21:
1220:Courant Institute of Mathematical Sciences faculty
538:"Honorary doctorates - Uppsala University, Sweden"
301:He's also served as an associate professor at the
378:presents a memorial lecture series in his honour.
1235:Technion – Israel Institute of Technology alumni
486:"NYU Computer Science Professor Amir Pnueli, 68"
274:, particularly regarding fairness properties of
1255:Academic staff of Weizmann Institute of Science
346:from the Faculty of Science and Technology at
636:
8:
1205:Israel Prize in computer sciences recipients
367:In 2007, he was inducted as a Fellow of the
266:. His works in computer science focused on
643:
629:
621:
613:
18:
402:
315:Pnueli died on November 2, 2009, of a
1240:Academic staff of Tel Aviv University
437:
435:
433:
431:
7:
519:from the original on 9 November 2009
442:Chang, Kenneth (November 14, 2009),
342:On May 30, 1997, Pnueli received an
369:Association for Computing Machinery
207:
14:
415:The Mathematics Genealogy Project
1230:Programming language researchers
29:
1245:Theoretical computer scientists
391:List of Israel Prize recipients
1:
515:Computer Science Department,
376:Weizmann Institute of Science
333:for seminal work introducing
328:In 1996, Pnueli received the
260:Weizmann Institute of Science
582:New York University homepage
360:In 2000, he was awarded the
232:British Mandate of Palestine
1200:Israeli computer scientists
594:Weizmann Institute homepage
1281:
303:University of Pennsylvania
143:University of Pennsylvania
16:Israeli computer scientist
307:Joseph Fourier University
193:
109:
28:
242:in mathematics from the
364:, for computer science.
1250:Turing Award laureates
675:Maurice Vincent Wilkes
1190:Formal methods people
56:Mandate for Palestine
612:Bibliography Server
1225:People from Nahalal
1064:Michael Stonebraker
862:Fernando J. Corbató
513:New York University
291:New York University
283:Tel Aviv University
264:Stanford University
226:Pnueli was born in
147:Stanford University
139:New York University
131:Tel Aviv University
1019:Charles P. Thacker
884:Richard E. Stearns
766:Kenneth E. Iverson
716:Edsger W. Dijkstra
704:James H. Wilkinson
652:A. M. Turing Award
494:, November 5, 2009
449:The New York Times
348:Uppsala University
344:honorary doctorate
323:Awards and honours
287:Weizmann Institute
276:concurrent systems
212:computer scientist
135:Weizmann Institute
1210:Jewish scientists
1162:
1161:
1036:Leslie G. Valiant
912:Douglas Engelbart
890:Edward Feigenbaum
240:Bachelor's degree
238:) and received a
197:
196:
160:Mordechai Ben-Ari
153:Doctoral students
111:Scientific career
101:
1272:
1086:John L. Hennessy
1074:Whitfield Diffie
1048:Shafi Goldwasser
1003:E. Allen Emerson
999:Edmund M. Clarke
744:Michael O. Rabin
738:Herbert A. Simon
645:
638:
631:
622:
617:
569:
568:
561:
555:
554:
548:
542:
541:
534:
528:
526:
525:
524:
503:
497:
495:
482:
476:
475:
473:
471:
460:
454:
452:
439:
426:
425:
423:
421:
407:
317:brain hemorrhage
209:
121:Computer Science
99:
69:
47:
45:
33:
19:
1280:
1279:
1275:
1274:
1273:
1271:
1270:
1269:
1165:
1164:
1163:
1158:
1147:Robert Metcalfe
1119:
1100:Geoffrey Hinton
1090:David Patterson
1080:Tim Berners-Lee
1024:
965:Leonard Adleman
951:Kristen Nygaard
929:
880:Juris Hartmanis
850:
839:Ivan Sutherland
771:
760:Robert W. Floyd
722:Charles Bachman
692:
681:Richard Hamming
657:
649:
587:Short biography
578:
573:
572:
563:
562:
558:
550:
549:
545:
536:
535:
531:
522:
520:
505:
504:
500:
484:
483:
479:
469:
467:
462:
461:
457:
441:
440:
429:
419:
417:
409:
408:
404:
399:
387:
325:
224:
189:
145:
141:
137:
133:
102:
80:
71:
67:
66:2 November 2009
58:
49:
43:
41:
24:
17:
12:
11:
5:
1278:
1276:
1268:
1267:
1262:
1257:
1252:
1247:
1242:
1237:
1232:
1227:
1222:
1217:
1212:
1207:
1202:
1197:
1192:
1187:
1182:
1177:
1167:
1166:
1160:
1159:
1157:
1156:
1150:
1144:
1138:
1135:Jeffrey Ullman
1127:
1125:
1121:
1120:
1118:
1117:
1107:
1093:
1083:
1077:
1070:Martin Hellman
1067:
1061:
1058:Leslie Lamport
1055:
1045:
1039:
1032:
1030:
1026:
1025:
1023:
1022:
1016:
1013:Barbara Liskov
1010:
1007:Joseph Sifakis
996:
990:
984:
974:
968:
954:
947:Ole-Johan Dahl
944:
937:
935:
931:
930:
928:
927:
921:
915:
909:
903:
897:
887:
877:
874:Butler Lampson
871:
865:
858:
856:
852:
851:
849:
848:
842:
836:
830:
820:
814:
808:
805:Dennis Ritchie
798:
792:
786:
779:
777:
773:
772:
770:
769:
763:
757:
751:
741:
731:
725:
719:
713:
707:
700:
698:
694:
693:
691:
690:
684:
678:
672:
665:
663:
659:
658:
650:
648:
647:
640:
633:
625:
619:
618:
603:
602:
601:
591:
590:
589:
577:
576:External links
574:
571:
570:
556:
543:
540:. 9 June 2023.
529:
498:
477:
466:. amturing.acm
455:
427:
401:
400:
398:
395:
394:
393:
386:
383:
382:
381:
372:
365:
358:
355:
340:
335:temporal logic
324:
321:
272:model checking
268:temporal logic
223:
220:
195:
194:
191:
190:
188:
187:
182:
180:Ofer Strichman
177:
175:Doron A. Peled
172:
170:Nissim Francez
167:
162:
156:
154:
150:
149:
128:
124:
123:
118:
114:
113:
107:
106:
94:
90:
89:
86:
82:
81:
72:
70:(aged 68)
64:
60:
59:
50:
48:April 22, 1941
39:
35:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
1277:
1266:
1263:
1261:
1258:
1256:
1253:
1251:
1248:
1246:
1243:
1241:
1238:
1236:
1233:
1231:
1228:
1226:
1223:
1221:
1218:
1216:
1213:
1211:
1208:
1206:
1203:
1201:
1198:
1196:
1193:
1191:
1188:
1186:
1183:
1181:
1178:
1176:
1173:
1172:
1170:
1154:
1153:Avi Wigderson
1151:
1148:
1145:
1142:
1141:Jack Dongarra
1139:
1136:
1132:
1129:
1128:
1126:
1122:
1115:
1111:
1108:
1105:
1101:
1097:
1096:Yoshua Bengio
1094:
1091:
1087:
1084:
1081:
1078:
1075:
1071:
1068:
1065:
1062:
1059:
1056:
1053:
1052:Silvio Micali
1049:
1046:
1043:
1040:
1037:
1034:
1033:
1031:
1027:
1020:
1017:
1014:
1011:
1008:
1004:
1000:
997:
994:
993:Frances Allen
991:
988:
985:
982:
978:
975:
972:
969:
966:
962:
958:
955:
952:
948:
945:
942:
939:
938:
936:
932:
925:
922:
919:
916:
913:
910:
907:
904:
901:
898:
895:
891:
888:
885:
881:
878:
875:
872:
869:
866:
863:
860:
859:
857:
853:
846:
845:William Kahan
843:
840:
837:
834:
831:
828:
827:Robert Tarjan
824:
823:John Hopcroft
821:
818:
815:
812:
811:Niklaus Wirth
809:
806:
802:
799:
796:
793:
790:
789:Edgar F. Codd
787:
784:
781:
780:
778:
774:
767:
764:
761:
758:
755:
752:
749:
745:
742:
739:
735:
732:
729:
726:
723:
720:
717:
714:
711:
710:John McCarthy
708:
705:
702:
701:
699:
695:
688:
687:Marvin Minsky
685:
682:
679:
676:
673:
670:
667:
666:
664:
660:
656:
653:
646:
641:
639:
634:
632:
627:
626:
623:
616:
611:
607:
604:
600:
597:
596:
595:
592:
588:
585:
584:
583:
580:
579:
575:
566:
560:
557:
553:
547:
544:
539:
533:
530:
518:
514:
510:
509:
502:
499:
493:
492:
487:
481:
478:
465:
464:"AMIR PNUELI"
459:
456:
451:
450:
445:
438:
436:
434:
432:
428:
416:
412:
411:"Amir Pnueli"
406:
403:
396:
392:
389:
388:
384:
380:
377:
373:
370:
366:
363:
359:
356:
353:
349:
345:
341:
338:
336:
331:
327:
326:
322:
320:
318:
313:
310:
308:
304:
300:
296:
292:
288:
284:
279:
277:
273:
269:
265:
261:
257:
253:
249:
245:
241:
237:
233:
229:
221:
219:
217:
214:and the 1996
213:
205:
201:
192:
186:
183:
181:
178:
176:
173:
171:
168:
166:
163:
161:
158:
157:
155:
151:
148:
144:
140:
136:
132:
129:
125:
122:
119:
115:
112:
108:
105:
98:
95:
91:
87:
83:
79:
78:United States
75:
65:
61:
57:
53:
40:
36:
32:
27:
20:
1195:Israeli Jews
1114:Pat Hanrahan
905:
868:Robin Milner
817:Richard Karp
801:Ken Thompson
795:Stephen Cook
734:Allen Newell
728:Donald Knuth
559:
546:
532:
521:, retrieved
507:
501:
489:
480:
468:. Retrieved
458:
447:
420:19 September
418:. Retrieved
414:
405:
362:Israel Prize
332:
330:Turing Award
314:
311:
280:
225:
216:Turing Award
199:
198:
127:Institutions
110:
104:Israel Prize
97:Turing Award
68:(2009-11-02)
1180:2009 deaths
1175:1941 births
1042:Judea Pearl
924:Fred Brooks
906:Amir Pnueli
900:Manuel Blum
754:John Backus
669:Alan Perlis
606:Amir Pnueli
256:mathematics
254:in applied
218:recipient.
208:אמיר פנואלי
200:Amir Pnueli
185:Lenore Zuck
165:Dana Fisman
85:Nationality
23:Amir Pnueli
1169:Categories
1131:Alfred Aho
1110:Ed Catmull
1104:Yann LeCun
987:Peter Naur
961:Adi Shamir
957:Ron Rivest
941:Andrew Yao
833:John Cocke
783:Tony Hoare
748:Dana Scott
523:2009-11-08
491:Dr. Dobb's
397:References
44:1941-04-22
977:Vint Cerf
894:Raj Reddy
655:laureates
470:14 August
258:from the
230:, in the
222:Biography
981:Bob Kahn
971:Alan Kay
918:Jim Gray
517:archived
385:See also
305:and the
295:New York
244:Technion
234:(now in
74:New York
599:Profile
250:, and
228:Nahalal
88:Israeli
52:Nahalal
1155:(2023)
1149:(2022)
1143:(2021)
1137:(2020)
1116:(2019)
1106:(2018)
1092:(2017)
1082:(2016)
1076:(2015)
1066:(2014)
1060:(2013)
1054:(2012)
1044:(2011)
1038:(2010)
1021:(2009)
1015:(2008)
1009:(2007)
995:(2006)
989:(2005)
983:(2004)
973:(2003)
967:(2002)
953:(2001)
943:(2000)
926:(1999)
920:(1998)
914:(1997)
908:(1996)
902:(1995)
896:(1994)
886:(1993)
876:(1992)
870:(1991)
864:(1990)
847:(1989)
841:(1988)
835:(1987)
829:(1986)
819:(1985)
813:(1984)
807:(1983)
797:(1982)
791:(1981)
785:(1980)
768:(1979)
762:(1978)
756:(1977)
750:(1976)
740:(1975)
730:(1974)
724:(1973)
718:(1972)
712:(1971)
706:(1970)
689:(1969)
683:(1968)
677:(1967)
671:(1966)
352:Sweden
236:Israel
204:Hebrew
117:Fields
100:(1996)
93:Awards
1124:2020s
1029:2010s
934:2000s
855:1990s
776:1980s
697:1970s
662:1960s
252:Ph.D.
248:Haifa
610:DBLP
472:2023
422:2022
374:The
299:U.S.
270:and
63:Died
38:Born
608:at
246:in
1171::
1133:;
1112:;
1102:;
1098:;
1088:;
1072:;
1050:;
1005:;
1001:;
979:;
963:;
959:;
949:;
892:;
882:;
825:;
803:;
746:;
736:;
511:,
488:,
446:,
430:^
413:.
350:,
319:.
309:.
297:,
293:,
278:.
206::
76:,
54:,
644:e
637:t
630:v
567:.
527:.
496:.
474:.
453:.
424:.
371:.
354:.
339:.
202:(
46:)
42:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.