David Harel
David Harel | |
|---|---|
דוד הראל | |
David Harel (right) with Carl Hewitt at FLoC 2006 | |
| Born | 12 April 1950 London, England, UK |
| Nationality | Israeli and British |
| Awards | |
| Scientific career | |
| Fields | Computer science |
| Institutions | Weizmann Institute |
| Thesis | Logics of Programs: Axiomatics and Descriptive Power (1978) |
| Doctoral advisor | Vaughan Pratt |
| Doctoral students | David Peleg |
David Harel (Hebrew: דוד הראל; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel 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.