レ・ハットン

地球物理学からソフトウェア信頼性への移行は、1948年生まれのイギリスの計算機科学者兼数学者であるレ・ハットン（Les Hatton）の専門的軌跡を定義している。彼のキャリアは、複雑な物理シミュレーションから、商用の組み込み制御システムや言語固有のプログラミングリスクに固有の脆弱性の形式的研究へと移行し、ソフトウェア障害の力学に関する基礎研究網羅している。

初期のアカデミックなトレーニング

ハットンはケンブリッジ大学キングス・カレッジで正規教育を受け、1967年から1970年まで学んだ。その後、マンチェスター大学に通った。大学院での研究は2つの異なる物理現象に焦点を当てており、相対論的プラズマ内の静電波に関する研究で理学修士号を取得し、1973年に博士号を取得した。彼の博士論文は計算流体力学、具体的には竜巻の物理学を専門としていた。

地球物理学と産業研究

プロとしての生活の初期において、ハットンは地球物理学に注力した。この分野はほぼ2年間にわたり彼の主要な実践領域であり続け、計算への貢献により大きな評価を得た。1987年、計算地球物理学への影響を反映してコンラッド・シュランベルジェ賞を受賞した。キャリアの大半において民間セクターで活動し、特にオークウッド・コンピューティング・アソシエーツ（Oakwood Computing Associates）で働いた。

ソフトウェアフォレンジックエンジニアリングへの進化

1990年代初頭、ハットンはシステムおよびソフトウェア障害の分析に焦点を移した。彼の業績には4冊の著書と100報以上の査読付き学術誌の論文が含まれる。特筆すべきことに、彼は商用組み込み制御システムのより安全な言語サブセットの採用を推奨するテキスト『Safer C』を著した。彼の研究は、『Nature』、『IEEE Computer』、『IEEE Software』、『IEEE Transactions on Software Engineering』、『IEEE Computational Science and Engineering』などの媒体に掲載されている。1997年から2001年の間に、『Journal of Systems and Software』紙により、その分野の主要な学者として認められた。

無料テスト

あなたはどのくらい？

20問、8分の制限時間、そして受験者全員と比べたパーセンタイル。登録不要。

IQテストを受ける →

現在の学術および研究の関心

ハットンはロンドンのキングストン大学でフォレンジックソフトウェアエンジニアリングの教授を務めている。彼の最近の学術的成果は、ソフトウェアの安全性にとどまらない幅広い関心を示しており、これにはやり投げの空気力学や、携帯電話の充電システムで観察される人工的複雑性の研究が含まれる。さらに、欠陥データベースからの非構造化テキスト内のパターンを特定するように設計された新しい書誌検索アルゴリズムを開発した。