of Technology, The Netherlands 2014 International Member of the US National Academy of Engineering 2014 International Honorary Member of the American Academy of Arts and Sciences 2019 International Member of the US National Academy of Sciences. 2020 Fellow of the Royal Society (FRS) 2021 Foreign Member of the Chinese Academy of Sciences 2023 Harlan D. Mills Award See also List of Israel Prize recipients Members of the Israel Academy of Sciences and Humanities References External links David Harel's home page at the Weizmann Institute of Science. David Harel's page at the Israel Academy of Sciences and Humanities. 1950 births Living people Mathematicians from London Israeli computer scientists Israel Prize in computer sciences recipients Israeli Jews Fellows of the American Academy of Arts and Sciences Fellows of the American Association for the Advancement of Science Fellows of the Association for Computing Machinery Fellow Members of the IEEE Fellows of the Royal Society Formal methods people Graph drawing people Members of Academia Europaea Systems biologists Software engineering researchers Unified Modeling Language Academic staff of Weizmann Institute of Science Foreign associates of the National Academy of Sciences Foreign associates of the National Academy of Engineering Foreign members of the Chinese Academy of Sciences