デビッド・ハレル

デイビッド・ハレル（ヘブライ語：דוד הראל、1950年4月12日生まれ）はコンピュータ科学者であり、現在はイスラエル科学人文アカデミーの会長を務めている。1980年よりイスラエルのワイツマン科学研究所の教授を務めており、ウィリアム・サスマン数学教授職も務めている。イギリスのロンドン生まれで、同研究所の数学およびコンピュータサイエンス学部の学部長を7年間務めた。

バイオグラフィー

ハレルは、動的論理、計算可能性、データベース理論、ソフトウェア工学、生物システムのモデリングに関する研究で最もよく知られています。1980年代に、リアクティブシステムの指定とプログラミングのためのグラフィカル言語であるステートチャートを発明し、これはUML標準の一部として採用されました。1990年代後半からは、W.ダムとの共同発明であるライブシーケンスチャートを皮切りに、シナリオベースのアプローチでこのようなシステムをプログラミングすることに注力してきました。1987年に受賞した著書「Algorithmics: The Spirit of Computing」や2000年に出版した著書「Computers Ltd.: What They Really Can't do」など、コンピュータサイエンスの解説書を出版しており、イスラエルのラジオやテレビでコンピュータサイエンスに関するシリーズも提供しています。また、グラフレイアウト、コンピュータサイエンス教育、生物モデリング、匂いの分析と伝達など、さまざまなトピックにも取り組んでいます。

ハレルは1976年から1978年にかけてMITで博士号を取得。1987年にソフトウェア会社I-Logixを共同設立。同社は2006年にIBM傘下となった。ハレルは、ゲノムが完全に配列された最初の多細胞生物であるCaenorhabditis elegans線虫の完全なコンピュータモデルの構築を提唱している。このモデルの最終的な完成度は、彼が開発したチューリングテストの最新版にかかっている。ハレルはACM、IEEE、AAAS、EATCSのフェローであり、いくつかの国際アカデミーの会員でもある。イスラエルの数多くの平和・人権団体で活動している。

ワイツマン科学研究所の David Harel のホームページ。
David Harel は、Wayback Machineの Israel Academy of Sciences and Humanities のページに 2015 年 12 月 16 日にアーカイブされました。