マーク・ハーマン（コンピューター科学者）

マーク・ハーマン教授はイギリスのコンピュータ科学者です。2010年からロンドン大学ユニバーシティ・カレッジ（UCL）^{[4]の教授を務め、2017年からは}Facebook Londonに勤務しています。2006年にキングス・カレッジ・ロンドンで、後にUCLに移った進化探索テスト研究センター（CREST）の創設者で、2017年まで所長を務めました。^[5] ハーマン教授はソフトウェアエンジニアリングに関する主要な研究賞を2つ受賞しています（どちらも2019年に授与）。IEEEハーラン・D・ミルズ賞（「ソフトウェアエンジニアリング全体にわたる基本的な貢献、検索ベースのソフトウェアエンジニアリングの確立、スライシングとテストの研究の再活性化、遺伝的改良の創設への重要な貢献を含む」）^[1] とACM SIGSOFT優秀研究賞^{[2] [3]です。}

ハーマンは1984年から1988年までロンドンのインペリアル・カレッジでソフトウェア工学を学びました。[6] それ以前は、北ロンドン工科大学（ 1988–91 ）、^北ロンドン大学（1991–97）に勤務し、同大学では後にコンピューティング部門の責任者を務めました。また、ロンドン大学ゴールドスミス・カレッジ（1998–2000）、ブルネル大学（2000–04）にも勤務しました。 ^[7]キングス・カレッジ・ロンドン（2004–10）ではソフトウェア工学グループを率いていました。

2016年9月、ハーマンはバグ発見アプリSapienzの開発元であるMajicke Limited ^[6]を共同設立しました。同社はFacebook ^[8]に買収され、2017年2月にハーマンはFacebook Londonにフルタイムのエンジニアリングマネージャーとして入社しました。彼は現在も、ユニバーシティ・カレッジ・ロンドンのCRESTおよびコンピュータサイエンス学部のソフトウェアエンジニアリングの非常勤教授を務めています。彼は毎年恒例のFacebook Testing & Verification (TAV) シンポジウムを主催しています。^[9]

マーク・ハーマンは、特にソフトウェアテストの分野で多くの学術論文を発表しており、^{[10] [11]、}Google Scholarによるとh指数は75（2017年）です。^[12]特にプログラムスライシングとプログラム変換の分野で貢献しています。彼は、 IEEE Transactions on Software EngineeringやSoftware Testing, Verification & Reliabilityなど、いくつかの学術誌の編集委員を務めています。彼は2001年にBFジョーンズと共に検索ベースソフトウェアエンジニアリング（SBSE）という用語を作り出した。^[13]検索ベースの自動テスト設計技術は、2017年9月からFacebookで導入されています。^{[14] [15]}ハーマンはまた、「ウェブ対応シミュレーション」にも取り組んでいます。これは、Facebookの並列バージョンを使用して、悪意のある行為者を阻止するアプローチのモデル化と実験を可能にする技術です。^{[16] [17]}

• Harman, M. および Jones, R.、「First Course in C++ : A Gentle Introduction」、McGraw-Hill、1996 年、ISBN  0-07-709194-9。
• Hierons, R.、Bowen, JP、Harman, M.編、『Formal Methods and Testing 』。Springer -Verlag、LNCS、第4949巻、2008年。ISBN 978-3-540-78916-1。 

• Facebookホームページ
• UCLホームページ
• Google Scholarにインデックスされた Mark Harman の出版物