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