마크 하만(컴퓨터 과학자)

Mark Harman (computer scientist)
Mark Harman이라는 다른 사람은 Mark Harman (동음이의)을 참조하십시오.
마크 하먼
국적영국의
시민권영국
모교임페리얼 칼리지 런던
로 알려져 있다.검색 기반 소프트웨어 엔지니어링, 소프트웨어 테스트
수상IEEE 할란 D. 밀스상(2019년);[1] ACM SIGSoft 우수 연구상(2019년)[2][3]
과학 경력
필드컴퓨터 공학
기관노스런던 대학교, 노스런던 대학교, 골드스미스 칼리지(University of London), 브루넬 대학교, 킹스 칼리지 런던, 유니버시티 칼리지 런던, 페이스북

마크 하만 교수는 영국의 컴퓨터 과학자다.2010년부터는 유니버시티 칼리지 런던(UCL)[4] 교수로 재직하고 있으며 2017년부터는 페이스북 런던에 근무하고 있다.그는 2006년 런던 킹스 칼리지에서 초기 진화에 관한 연구 센터(CREAT for Research on Evolution Search and Testing, CREST)의 설립자로, 후기에는 UCL에서, 2017년까지 소장을 지냈다.[5]하만은 소프트웨어 엔지니어링 부문 주요 연구상(둘 다 2019년에 수상)을 모두 받았다. IEEE 할란 D. 밀스상(Mills Award) 및 ACM SIGSoft 우수 연구상(검색 기반 소프트웨어 엔지니어링 구축, 슬라이싱 및 테스트 연구 재점화, 유전자 개선 연구 등[2][3] 소프트웨어 엔지니어링 전반에 걸친 기초적 기여)[1]

하만은 1984-88년 런던 임페리얼 칼리지에서 소프트웨어 공학을 공부했다.[6]He has previously worked at the Polytechnic of North London (1988–91), University of North London (1991–97), where he was latterly Head of Computing, Goldsmiths College, University of London (1998–2000), Brunel University (2000–04),[7] and King's College London, UK (2004–10) where he led the Software Engineering Group.null

하만은 2016년 9월 사피엔츠 버그 찾기 앱의 크리에이터인 [6]마직케 리미티드(Mazicke Limited)를 공동 창업했다.이 회사는 페이스북에[8] 인수돼 2017년 2월 하만이 페이스북 런던에 전속 엔지니어링 매니저로 입사했다.그는 여전히 CREST의 소프트웨어 엔지니어링과 유니버시티 칼리지 런던의 컴퓨터 과학과의 시간제 교수로 남아 있다.그는 매년 Facebook Testing & Verification (TAV) 심포지엄을 주관한다.[9]null

마크 하만은 특히 소프트웨어 테스트 분야에서 [10][11]h-지수 75(2017년)로 많은 학술 논문을 발표했다고 구글 스콜라스는 전했다.[12]그는 특히 프로그램 슬라이싱과 프로그램 전환 분야에 기여했다.그는 IEEE Transactions on Software Engineering and Software Testing, Verification & Reliability 등 다수의 학술지 편집위원이다.그는 2001년에 B. F. 존스와 함께 검색 기반 소프트웨어 엔지니어링(SBSE)이라는 용어를 만들었다.[13]페이스북에는 2017년 9월부터 검색 기반 자동화 테스트 설계 기술이 구축됐다.[14][15]하만은 페이스북의 병렬 버전을 이용해 불량 행위자를 방해하는 접근법을 모델링하고 실험하는 기술인 '웹 지원 시뮬레이션'도 개발해왔다.[16][17]null

책들

  • Harman, M. and Jones, R., C++의 퍼스트 코스: 완만한 소개.맥그로힐, 1996년null ISBN0-07-709194-9
  • 상형, R, Bowen, J.P, Harman, M. 편집자, 형식 방법 및 테스트.Springer-Verlag, LNCS, 4949, 2008.ISBN 978-3-540-78916-1

참조

  1. ^ a b "Mark Harman: Award Recipient". www.computer.org. IEEE Computer Society. Retrieved 23 February 2019.
  2. ^ a b "Outstanding Research Award". SIGSOFT. Association for Computing Machinery. Retrieved 29 September 2021.
  3. ^ a b "Spotlight session with Mark Harman". Facebook Research. 30 May 2019. Retrieved 20 August 2020.
  4. ^ "Mark Harman". UK: University College London.
  5. ^ "Centre for Research on Evolution Search and Testing". UK: University College London. Retrieved 29 November 2018.
  6. ^ a b 마크 하만, 링크드인.
  7. ^ Mark Harman 홈 페이지 영국 브루넬 대학교 웨이백 머신에 2007-12-11 아카이브.
  8. ^ "Q&A With Facebook Engineer Mark Harman". Forbes. 10 February 2019.
  9. ^ "Facebook TAV Symposium". Facebook. Retrieved 29 November 2018.
  10. ^ DBLP 서지학 서버의 마크 하만
  11. ^ 마크 하만의 출판물 영국 킹스 칼리지 런던 웨이백머신에 2010-05-12를 보관했다.
  12. ^ 구글 스콜라(Google Scholar)가 지수화한 마크 하만 출판물. 2018년 11월 29일 회수.
  13. ^ Harman, M.; Jones, B. F. (2001). "Search-based software engineering". Information & Software Technology. 43 (14): 833–839. doi:10.1016/S0950-5849(01)00189-6.
  14. ^ Mao, Ke (2 May 2018), Sapienz: Intelligent automated software testing at scale, Facebook, retrieved 30 November 2018
  15. ^ Dotson, Kyt (2 May 2018). "With Sapienz, Facebook makes automated software testing smarter". silisonANGLE. Retrieved 30 November 2018.
  16. ^ Vincent, James (23 July 2020). "Facebook is simulating users' bad behavior using AI". The Verge. Retrieved 20 August 2020.
  17. ^ "WES: Agent-based User Interaction Simulation on Real Infrastructure". Facebook Research. Retrieved 20 August 2020.

외부 링크


Stub icon

영국의 한 학자의 전기 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.