303:
40:
1075:
1135:
1080:
1130:
203:
since 1980, and holds the
William Sussman Professorial Chair of Mathematics. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.
1070:
1140:
322:
1125:
243:. He has published expository accounts of computer science, such as his award-winning 1987 book "Algorithmics: The Spirit of Computing" and his 2000 book "Computers Ltd.: What They
1060:
692:
287:
274:
nematode, which was the first multicellular organism to have its genome completely sequenced. The eventual completeness of such a model depends on his updated version of the
239:
standard. Since the late 1990s he has concentrated on a scenario-based approach to programming such systems, launched by his co-invention (with W. Damm) of
643:
529:
1115:
430:
372:
192:
247:
Can’t do", and has presented series on computer science for
Israeli radio and television. He has also worked on other diverse topics, such as
1105:
1090:
387:
263:
1055:
1050:
923:
279:
1120:
675:
479:
294:, and a member of several international academies. Harel is active in a number of peace and human rights organizations in Israel.
706:
168:
737:
425:
381:
1095:
767:
1100:
805:
196:
1085:
393:
350:
228:
1110:
928:
840:
684:
407:
212:
29:
810:
933:
815:
360:
236:
93:
466:
795:
640:
526:
570:
1045:
946:
668:
271:
240:
1065:
845:
610:
413:
772:
1040:
1004:
224:
1009:
716:
128:
302:
653:
661:
344:
994:
913:
908:
762:
752:
742:
252:
153:
118:
557:
505:
306:
Diagram showing how Harel's
Statecharts contributed to object-oriented methods and notation
270:, which in 2006 became part of IBM. He has advocated building a full computer model of the
1014:
979:
918:
878:
787:
747:
724:
647:
533:
220:
184:
453:
39:
999:
974:
893:
883:
782:
235:
for specifying and programming reactive systems, which has been adopted as part of the
1034:
984:
960:
938:
903:
870:
865:
830:
825:
729:
711:
688:
584:
400:
312:
216:
191:; born 12 April 1950) is a computer scientist, currently serving as President of the
158:
860:
480:"Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient"
331:
248:
98:
989:
855:
835:
820:
757:
606:
275:
45:
1019:
898:
888:
850:
560:, American Academy of Arts and Sciences, April 2014. Retrieved 2 January 2015.
377:
2012 Doctor
Honoris Causa, Eindhoven University of Technology, The Netherlands
366:
232:
141:
492:
634:
267:
800:
200:
135:
79:
266:
between 1976 and 1978. In 1987, he co-founded the software company
1076:
Fellows of the
American Association for the Advancement of Science
545:
291:
256:
283:
657:
548:, National Academy of Engineering. Retrieved 2 January 2015.
255:, biological modeling and the analysis and communication of
467:"Israel Prize Official Site (in Hebrew) – Recipient's C.V."
1136:
Foreign associates of the
National Academy of Engineering
650:'s page at the Israel Academy of Sciences and Humanities.
431:
Members of the Israel
Academy of Sciences and Humanities
1081:
1994 fellows of the
Association for Computing Machinery
337:
2005 Doctor
Honoris Causa, University of Rennes, France
1131:
Foreign associates of the
National Academy of Sciences
231:. In the 1980s he invented the graphical language of
1071:
Fellows of the American Academy of Arts and Sciences
356:
2006 Fellow Honoris Causa, Open University of Israel
142:
Logics of Programs: Axiomatics and Descriptive Power
967:
955:
699:
164:
152:
134:
124:
114:
86:
75:
53:
23:
1141:Foreign members of the Chinese Academy of Sciences
637:'s home page at the Weizmann Institute of Science.
1126:Academic staff of Weizmann Institute of Science
573:. National Academy of Sciences. 30 April 2019.
495:, Academia Europaea. Retrieved 2 January 2015.
669:
318:1992 ACM Karlstrom Outstanding Educator Award
8:
1061:Israel Prize in computer sciences recipients
536:, Israel Academy of Sciences and Humanities.
340:2006 ACM SIGSOFT Outstanding Research Award
676:
662:
654:
386:2014 International Honorary Member of the
38:
20:
373:Israel Academy of Sciences and Humanities
193:Israel Academy of Sciences and Humanities
301:
441:
449:
447:
445:
388:American Academy of Arts and Sciences
7:
392:2019 International Member of the US
380:2014 International Member of the US
211:Harel is best known for his work on
195:. He has been on the faculty of the
349:2006 Doctor (Laura) Honoris Causa,
188:
14:
1116:Software engineering researchers
456:, ACM. Retrieved 2 January 2015.
315:for Software Development Methods
426:List of Israel Prize recipients
382:National Academy of Engineering
607:"David Harel: Award Recipient"
508:(in Italian). 13 December 2016
1:
197:Weizmann Institute of Science
1106:Members of Academia Europaea
1091:Fellows of the Royal Society
394:National Academy of Sciences
351:University of Milano-Bicocca
229:modelling biological systems
1056:Israeli computer scientists
408:Chinese Academy of Sciences
406:2021 Foreign Member of the
262:Harel completed his PhD at
1157:
1051:Mathematicians from London
454:David Harel – Award Winner
253:computer science education
16:Israeli computer scientist
1121:Unified Modeling Language
361:ACM Software System Award
174:
107:
94:ACM Software System Award
44:David Harel (right) with
37:
646:16 December 2015 at the
532:16 December 2015 at the
278:. He is a fellow of the
506:"Lauree honoris causa"
334:, for computer science
307:
272:Caenorhabditis elegans
1096:Formal methods people
846:Raymond Pierrehumbert
611:IEEE Computer Society
558:Newly elected members
414:Harlan D. Mills Award
305:
1101:Graph drawing people
241:Live Sequence Charts
225:software engineering
1086:Fellows of the IEEE
738:William C. Campbell
571:"2019 NAS Election"
399:2020 Fellow of the
371:2010 Member of the
343:2006 Member of the
70:London, England, UK
1111:Systems biologists
1010:Ramamoorthy Ramesh
841:Oliver L. Phillips
773:François Guillemot
717:Malcolm J. Bennett
308:
129:Weizmann Institute
1028:
1027:
1005:Margaret Kivelson
806:Alexander Makarov
792:Andrew P. Jackson
613:. 23 January 2023
345:Academia Europaea
298:Awards and honors
178:
177:
165:Doctoral students
109:Scientific career
1148:
995:Else Marie Friis
924:Richard Thompson
914:Andrew M. Stuart
909:Donna Strickland
875:Michael Rudnicki
763:Adam Eyre-Walker
753:Vikram Deshpande
678:
671:
664:
655:
623:
622:
620:
618:
603:
597:
596:
594:
592:
581:
575:
574:
567:
561:
555:
549:
543:
537:
524:
518:
517:
515:
513:
502:
496:
490:
484:
483:
476:
470:
469:
463:
457:
451:
327:1995 IEEE Fellow
190:
154:Doctoral advisor
148:
119:Computer Science
67:
63:
61:
42:
32:
21:
1156:
1155:
1151:
1150:
1149:
1147:
1146:
1145:
1031:
1030:
1029:
1024:
1015:Wendelin Werner
980:Francis Collins
963:
951:
934:Nicholas Turner
919:Sarah Teichmann
879:William Schafer
788:Ehud Hrushovski
748:G. Marius Clore
725:Zulfiqar Bhutta
707:Timothy Behrens
695:
682:
648:Wayback Machine
631:
626:
616:
614:
605:
604:
600:
590:
588:
587:. Royal Society
583:
582:
578:
569:
568:
564:
556:
552:
544:
540:
534:Wayback Machine
525:
521:
511:
509:
504:
503:
499:
491:
487:
478:
477:
473:
465:
464:
460:
452:
443:
439:
422:
300:
221:database theory
209:
146:
103:
71:
68:
65:
59:
57:
49:
33:
28:
26:
17:
12:
11:
5:
1154:
1152:
1144:
1143:
1138:
1133:
1128:
1123:
1118:
1113:
1108:
1103:
1098:
1093:
1088:
1083:
1078:
1073:
1068:
1063:
1058:
1053:
1048:
1043:
1033:
1032:
1026:
1025:
1023:
1022:
1017:
1012:
1007:
1002:
1000:Regine Kahmann
997:
992:
987:
982:
977:
975:Frances Arnold
971:
969:
965:
964:
959:
957:
953:
952:
950:
949:
944:
943:Alan M. Wilson
941:
936:
931:
926:
921:
916:
911:
906:
901:
896:
894:Stephen Smartt
891:
886:
884:Nigel Scrutton
881:
876:
873:
868:
863:
858:
853:
848:
843:
838:
833:
828:
823:
818:
816:Iain McCulloch
813:
811:Keith Matthews
808:
803:
798:
796:George Jackson
793:
790:
785:
783:Marian Holness
780:
775:
770:
765:
760:
755:
750:
745:
740:
735:
732:
727:
722:
719:
714:
709:
703:
701:
697:
696:
683:
681:
680:
673:
666:
658:
652:
651:
638:
630:
629:External links
627:
625:
624:
598:
576:
562:
550:
546:Member profile
538:
527:Member profile
519:
497:
493:Member profile
485:
471:
458:
440:
438:
435:
434:
433:
428:
421:
418:
417:
416:
410:
404:
397:
390:
384:
378:
375:
369:
363:
357:
354:
347:
341:
338:
335:
328:
325:
319:
316:
299:
296:
208:
205:
176:
175:
172:
171:
166:
162:
161:
156:
150:
149:
138:
132:
131:
126:
122:
121:
116:
112:
111:
105:
104:
102:
101:
96:
90:
88:
84:
83:
77:
73:
72:
69:
55:
51:
50:
43:
35:
34:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
1153:
1142:
1139:
1137:
1134:
1132:
1129:
1127:
1124:
1122:
1119:
1117:
1114:
1112:
1109:
1107:
1104:
1102:
1099:
1097:
1094:
1092:
1089:
1087:
1084:
1082:
1079:
1077:
1074:
1072:
1069:
1067:
1064:
1062:
1059:
1057:
1054:
1052:
1049:
1047:
1046:Living people
1044:
1042:
1039:
1038:
1036:
1021:
1018:
1016:
1013:
1011:
1008:
1006:
1003:
1001:
998:
996:
993:
991:
988:
986:
985:Kerry Emanuel
983:
981:
978:
976:
973:
972:
970:
966:
962:
961:David Cooksey
958:
954:
948:
945:
942:
940:
939:Jane Visvader
937:
935:
932:
930:
927:
925:
922:
920:
917:
915:
912:
910:
907:
905:
904:Molly Stevens
902:
900:
897:
895:
892:
890:
887:
885:
882:
880:
877:
874:
872:
871:Nicholas Read
869:
867:
866:Didier Queloz
864:
862:
859:
857:
854:
852:
849:
847:
844:
842:
839:
837:
834:
832:
831:Giles Oldroyd
829:
827:
826:Peter Nellist
824:
822:
819:
817:
814:
812:
809:
807:
804:
802:
799:
797:
794:
791:
789:
786:
784:
781:
779:
776:
774:
771:
769:
766:
764:
761:
759:
756:
754:
751:
749:
746:
744:
743:Henry Chapman
741:
739:
736:
733:
731:
730:Kevin Brindle
728:
726:
723:
720:
718:
715:
713:
712:Yoshua Bengio
710:
708:
705:
704:
702:
698:
694:
690:
689:Royal Society
686:
679:
674:
672:
667:
665:
660:
659:
656:
649:
645:
642:
639:
636:
633:
632:
628:
612:
608:
602:
599:
586:
585:"David Harel"
580:
577:
572:
566:
563:
559:
554:
551:
547:
542:
539:
535:
531:
528:
523:
520:
507:
501:
498:
494:
489:
486:
481:
475:
472:
468:
462:
459:
455:
450:
448:
446:
442:
436:
432:
429:
427:
424:
423:
419:
415:
411:
409:
405:
402:
401:Royal Society
398:
395:
391:
389:
385:
383:
379:
376:
374:
370:
368:
364:
362:
358:
355:
353:, 18 May 2006
352:
348:
346:
342:
339:
336:
333:
329:
326:
324:
320:
317:
314:
313:Stevens Award
310:
309:
304:
297:
295:
293:
289:
285:
281:
277:
273:
269:
265:
260:
258:
254:
250:
246:
242:
238:
234:
230:
226:
222:
218:
217:computability
214:
213:dynamic logic
206:
204:
202:
198:
194:
186:
182:
173:
170:
167:
163:
160:
159:Vaughan Pratt
157:
155:
151:
144:
143:
139:
137:
133:
130:
127:
123:
120:
117:
113:
110:
106:
100:
97:
95:
92:
91:
89:
85:
81:
78:
74:
66:(age 74)
64:12 April 1950
56:
52:
47:
41:
36:
31:
22:
19:
1066:Israeli Jews
861:Carol Prives
777:
768:Daniel Frost
734:Gordon Brown
615:. Retrieved
601:
591:19 September
589:. Retrieved
579:
565:
553:
541:
522:
510:. Retrieved
500:
488:
474:
461:
332:Israel Prize
261:
249:graph layout
244:
210:
180:
179:
140:
125:Institutions
108:
99:Israel Prize
48:at FLoC 2006
18:
1041:1950 births
990:Ben Feringa
947:Steve Young
929:Jack Thorne
856:Cathy Price
836:Hugh Osborn
821:Linda Nazar
778:David Harel
758:John Endler
641:David Harel
635:David Harel
617:27 February
276:Turing test
233:Statecharts
181:David Harel
169:David Peleg
82:and British
76:Nationality
46:Carl Hewitt
25:David Harel
1035:Categories
1020:Ada Yonath
899:Ralf Speth
889:John Shine
851:John Plane
437:References
367:Emet Prize
323:ACM Fellow
290:, and the
60:1950-04-12
721:Ben Berks
207:Biography
956:Honorary
691:elected
644:Archived
530:Archived
420:See also
189:דוד הראל
968:Foreign
700:Fellows
693:in 2020
687:of the
685:Fellows
512:2 April
268:I-Logix
80:Israeli
801:Xin Lu
286:, the
282:, the
245:Really
201:Israel
185:Hebrew
147:(1978)
145:
136:Thesis
115:Fields
87:Awards
412:2023
403:(FRS)
365:2010
359:2007
330:2004
321:1994
311:1986
292:EATCS
257:odors
619:2023
593:2020
514:2018
288:AAAS
284:IEEE
227:and
54:Born
280:ACM
264:MIT
237:UML
199:in
30:FRS
1037::
609:.
444:^
259:.
251:,
223:,
219:,
215:,
187::
62:)
677:e
670:t
663:v
621:.
595:.
516:.
482:.
396:.
183:(
58:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.