Loading article…
ダニエル・ジャクソン（1963年生まれ）は、マサチューセッツ工科大学（MIT）のコンピュータ科学教授です。彼はAlloyモデリング言語の主任設計者であり、『Software Abstractions: Logic, Language, and Analysis』[ 1 ]と『The Essence of Software』[ 2 ]の著者でもあります。彼はMITのコンピュータ科学・人工知能研究所のソフトウェア設計グループを率いています。
ジャクソンは1963年にイギリスのロンドンで生まれた。[ 3 ]彼はオックスフォード大学で物理学 を学び、 1984年に修士号を取得した。修士号取得後、ジャクソンはLogica UK Ltd.で2年間ソフトウェアエンジニアとして働いた。その後、彼は学界に戻り、MITでコンピュータサイエンスを学び、 1988年に修士号、1992年に博士号を取得した。博士号取得後、ジャクソンはカーネギーメロン大学のコンピュータサイエンス学科の助教授に就任し、1997年までその職を務めた。[ 4 ]彼は1997年からMITの電気工学・コンピュータサイエンス学科の教員を務めている。2017年にはAssociation for Computing Machineryのフェローになった。[ 5 ]同年、彼はACM SIGSOFT優秀研究賞を受賞した。[ 6 ]
ジャクソンは写真家でもあり、ストレートフォトグラフィーのスタイルに興味を持っている。MIT博物館は彼にMIT研究所の写真シリーズを依頼し、2012年5月から12月まで、ベレニス・アボットの写真展に合わせて展示した。ジャクソンは、ソフトウェアエンジニアリング研究者のマイケル・A・ジャクソン[ 7 ]の息子であり、ジャクソン構造化プログラミング（JSP）、ジャクソンシステム開発（JSD）、および問題フレームアプローチの開発者である。
Jackson's research is broadly concerned with improving the dependability of software. He is a proponent of lightweight formal methods.[8] Jackson and his students developed the Alloy language and its associated Alloy Analyzer analysis tool to provide support for lightweight specification and modelling efforts.[9]
Between 2004 and 2007, Jackson chaired a multi-year United States National Research Council study on dependable systems.[10]