|
gptkbp:instance_of
|
gptkb:Computer_Scientist
|
|
gptkbp:academic_advisor
|
gptkb:Michael_O._Rabin
|
|
gptkbp:affiliation
|
gptkb:Weizmann_Institute_of_Science
|
|
gptkbp:award
|
gptkb:Israel_Prize
ACM Fellow
|
|
gptkbp:birth_date
|
1939-01-01
|
|
gptkbp:contribution
|
gptkb:Harel's_statechart_notation
Harel statecharts
Harel's algorithm
Harel's visual programming concepts
|
|
gptkbp:education
|
gptkb:University_of_California,_Berkeley
gptkb:Hebrew_University_of_Jerusalem
|
|
gptkbp:field
|
gptkb:computer_science
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
David Harel
|
|
gptkbp:influenced_by
|
gptkb:Alan_Turing
gptkb:Edsger_Dijkstra
gptkb:John_W._Mc_Carthy
|
|
gptkbp:known_for
|
visual programming languages
temporal logic
|
|
gptkbp:nationality
|
gptkb:Israel
|
|
gptkbp:notable_students
|
gptkb:Eran_Yahav
gptkb:Mooly_Sagiv
gptkb:Orna_Grumberg
gptkb:Rami_G._Melamed
gptkb:Shlomo_Zilberstein
|
|
gptkbp:published_work
|
Algorithmics: The Spirit of Computing
Dynamic Logic
Statecharts in the Making
|
|
gptkbp:research_interest
|
algorithm design
software engineering
formal methods
|
|
gptkbp:website
|
http://www.wisewizard.com/harel/
|
|
gptkbp:bfsParent
|
gptkb:The_Hebrew_University_of_Jerusalem
|
|
gptkbp:bfsLayer
|
5
|