David Harel とは

David Harel(ヘブライ語:דודהראל、1950年4月12日生まれ)は、イスラエルのWeizmann Institute of Scienceのコンピューター科学者であり、ウィリアム・サスマン教授の数学教授を務めています。イングランドのロンドンで生まれ、7年間、数学とコンピュータサイエンスの学部長を務めました。彼は現在、イスラエル科学アカデミー人文科学副学長を務めています。