David Harel
David Harel (Hebrew: דוד הראל; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities.Harel is best known for his work on dynamic logic, computability, database theory, software engineering and modelling biological systems.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 Live Sequence Charts.He has also worked on other diverse topics, such as graph layout, computer science education, biological modeling and the analysis and communication of odors.He has advocated building a full computer model of the Caenorhabditis elegans nematode, which was the first multicellular organism to have its genome completely sequenced.
Carl HewittIsraeliACM Software System AwardIsrael PrizeComputer ScienceWeizmann InstituteThesisDoctoral advisorVaughan PrattDavid PelegHebrewIsrael Academy of Sciences and HumanitiesWeizmann Institute of ScienceIsraeldynamic logiccomputabilitydatabase theorysoftware engineeringmodelling biological systemsStatechartsLive Sequence Chartsgraph layoutcomputer science educationI-LogixCaenorhabditis elegansTuring testStevens AwardACM FellowDoctor Honoris CausaUniversity of RennesAcademia EuropaeaUniversity of Milano-BicoccaOpen University of IsraelEmet PrizeEindhoven University of TechnologyNational Academy of EngineeringAmerican Academy of Arts and SciencesNational Academy of SciencesRoyal SocietyChinese Academy of SciencesHarlan D. Mills AwardList of Israel Prize recipientsWayback MachineIEEE Computer SocietyFellowsin 2020Timothy BehrensYoshua BengioMalcolm J. BennettZulfiqar BhuttaKevin BrindleWilliam C. CampbellHenry ChapmanG. Marius CloreVikram DeshpandeJohn EndlerAdam Eyre-WalkerDaniel FrostFrançois GuillemotMarian HolnessEhud HrushovskiGeorge JacksonXin LuAlexander MakarovKeith MatthewsIain McCullochLinda NazarPeter NellistGiles OldroydHugh OsbornOliver L. PhillipsRaymond PierrehumbertJohn PlaneCathy PriceCarol PrivesDidier QuelozNicholas ReadWilliam SchaferNigel ScruttonJohn ShineStephen SmarttRalf SpethMolly StevensDonna StricklandAndrew M. StuartSarah TeichmannRichard ThompsonJack ThorneNicholas TurnerJane VisvaderSteve YoungDavid CookseyFrances ArnoldFrancis CollinsKerry EmanuelBen FeringaElse Marie FriisRegine KahmannMargaret KivelsonRamamoorthy RameshWendelin WernerAda Yonath