David Harel

President of the Israel Academy of Sciences and Humanities, and Institute Professor at the Weizmann Institute. Works on logic and computability, software and systems engineering, biological modeling, odor reproduction, prosody, etc. Has published over 300 papers and several books, including “Algorithmics: The Spirit of Computing” and “Computers Ltd.”. Recipient of many awards and honorary degrees, , member Academia Europaea, US National Academy of Sciences, American Academy of Arts and Sciences, US National Academy of Engineering, Chinese Academy of Sciences,   and Fellow of the Royal Society.