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

マーク・ハーマン
市民権イギリス
母校インペリアル・カレッジ・ロンドン
知られている検索ベースソフトウェアエンジニアリング、ソフトウェアテスト
受賞歴IEEEハーラン・D・ミルズ賞（2019年）[ 1 ] ACM SIGSOFT優秀研究賞（2019年）[ 2 ] [ 3 ]
科学者としてのキャリア
フィールドコンピュータサイエンス
機関ノース・ロンドン工科大学、ノース・ロンドン大学、ゴールドスミス・カレッジ（ロンドン大学）、ブルネル大学、キングス・カレッジ・ロンドン、ユニバーシティ・カレッジ・ロンドン、Facebook

マーク・ハーマン教授はイギリスのコンピュータ科学者です。2010年からユニバーシティ・カレッジ・ロンドン（UCL）[ 4 ]の教授を務め、2017年からはFacebook Londonに勤務しています。2006年にキングス・カレッジ・ロンドン、後にUCLに移り、進化探索・テスト研究センター（CREST）を設立し、2017年まで所長を務めました。[ 5 ]ハーマン教授はソフトウェア工学の主要な研究賞を2つ受賞しています（いずれも2019年受賞）。IEEEハーラン・D・ミルズ賞（「ソフトウェア工学全体への根本的な貢献、検索ベースのソフトウェア工学の確立、スライシングとテストの研究の再燃、遺伝的改良の創始における先駆的な貢献を含む」）[ 1 ] とACM SIGSOFT優秀研究賞[ 2 ]です。 [ 3 ] 2020年には王立工学アカデミーのフェローに選出されました。[ 6 ]

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

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

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

本

参考文献

  1. ^ a b「マーク・ハーマン：受賞者」 www.computer.org IEEEコンピュータ協会2019年2月23日閲覧。
  2. ^ a b「Outstanding Research Award」 . SIGSOFT . Association for Computing Machinery . 2021年9月29日閲覧。
  3. ^ a b「Spotlight session with Mark Harman」 Facebook Research、2019年5月30日。 2020年8月20日閲覧。
  4. ^ 「マーク・ハーマン」英国：ユニバーシティ・カレッジ・ロンドン。
  5. ^ 「進化探索・試験研究センター」英国：ユニバーシティ・カレッジ・ロンドン。 2018年11月29日閲覧。
  6. ^ 「Professor Mark Harman FREng」英国王立工学アカデミー2025年2月23日閲覧。
  7. ^ a bマーク・ハーマン、LinkedIn。
  8. ^ Mark Harman ホームページArchived 2007-12-11 at the Wayback Machine、 Brunel University、英国。
  9. ^ 「Facebookエンジニアのマーク・ハーマン氏とのQ&A」Forbes、2019年2月10日。
  10. ^ 「Facebook TAVシンポジウム」 Facebook . 2018年11月29日閲覧。
  11. ^ DBLP書誌サーバーのマーク・ハーマン
  12. ^ Mark Harman の出版物はWayback Machineに 2010 年 5 月 12 日にアーカイブされています(King's College London、英国)。
  13. ^ Google ScholarにインデックスされたMark Harmanの出版物。2018年11月29日閲覧。
  14. ^ Harman, M.; Jones, BF (2001). 「検索ベースソフトウェアエンジニアリング」情報とソフトウェア技術43 ( 14): 833– 839. doi : 10.1016/S0950-5849(01)00189-6 .
  15. ^ Mao, Ke (2018年5月2日)、Sapienz: Intelligent automatic software testing at scale、Facebook 、 2018年11月30日閲覧。
  16. ^ Dotson, Kyt (2018年5月2日). 「Facebook、Sapienzの導入でソフトウェアテストの自動化をよりスマートに」 . silisonANGLE . 2018年11月30日閲覧。
  17. ^ヴィンセント・ジェームズ（2020年7月23日）「FacebookはAIを使ってユーザーの悪質な行動をシミュレートしている」 The Verge 。 2020年8月20日閲覧。
  18. ^ 「WES：実インフラにおけるエージェントベースのユーザーインタラクションシミュレーション」 Facebook Research . 2020年8月20日閲覧。
「 https://en.wikipedia.org/w/index.php?title=Mark_Harman_(computer_scientist)&oldid=1292702935」より取得