Mark Harman (computer scientist)

Prof. Mark Harman is a British computer scientist. Since 2010, he has been a Professor at University College London (UCL)[1] and since 2017 he has been at Facebook London. He was founder of the Centre for Research on Evolution Search and Testing (CREST) initially at King's College London in 2006, latterly at UCL, and was the Director until 2017.[2]

Mark Harman
NationalityBritish
CitizenshipUnited Kingdom
Alma materImperial College London
Known forSearch Based Software Engineering, software testing
Awards2019 IEEE Harlan D. Mills Award
Scientific career
FieldsComputer science
InstitutionsPolytechnic of North London, University of North London, Goldsmiths College (University of London), Brunel University, University College London, Facebook

Harman studied software engineering at Imperial College, London between 1984–88.[3] 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),[4] and King's College London, UK (2004–10) where he led the Software Engineering Group.

In September 2016, Harman co-founded Majicke Limited,[3] creator of the Sapienz bug finding app. The company was acquired by Facebook[5] and in February 2017 Harman joined Facebook London as a full-time Engineering Manager. He remains as a part-time professor of Software Engineering in CREST and the Computer Science department at University College London. He organizes the annual Facebook Testing & Verification (TAV) Symposium.[6]

Mark Harman has published many academic papers, especially in the area of software testing,[7][8] with an h-index of 75 (in 2017) according to Google Scholar.[9] He has contributed particularly in the areas of program slicing and program transformation. He is on the editorial boards of a number of academic journals including IEEE Transactions on Software Engineering and Software Testing, Verification & Reliability. He coined the term search-based software engineering (SBSE) with B. F. Jones in 2001.[10] Search-based automated test design technology has been deployed at Facebook since September 2017.[11][12]

In 2019 Harman received the IEEE Harlan D. Mills Award, for "fundamental contributions throughout software engineering, including seminal contributions in establishing search-based software engineering, reigniting research in slicing and testing, and founding genetic improvement."[13]

Books
  • Harman, M. and Jones, R., First Course in C++: A Gentle Introduction. McGraw-Hill, 1996. ISBN 0-07-709194-9.
  • Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.
gollark: readchar, readline, writechar, writeline.
gollark: STANDARD INPUT.
gollark: HOW WILL YOUR PROGRAM GET INPUT?!?!?
gollark: TO GET LUSER INPUT...
gollark: HOW ABOUT A COMMAND TO READ A LINE FROM STDIN?

References
  1. Mark Harman home page, University College London, UK
  2. "Centre for Research on Evolution Search and Testing". UK: University College London. Retrieved 29 November 2018.
  3. Mark Harman, LinkedIn.
  4. Mark Harman home page Archived 2007-12-11 at the Wayback Machine, Brunel University, UK.
  5. "Q&A With Facebook Engineer Mark Harman". Forbes. 10 February 2019.
  6. "Facebook TAV Symposium". Facebook. Retrieved 29 November 2018.
  7. Mark Harman at DBLP Bibliography Server
  8. Mark Harman's publications Archived 2010-05-12 at the Wayback Machine, King's College London, UK.
  9. Mark Harman publications indexed by Google Scholar . Retrieved 29 November 2018.
  10. Harman, M.; Jones, B. F. (2001). "Search-based software engineering". Information & Software Technology. 43 (14): 833–839.
  11. Mao, Ke (2 May 2018), Sapienz: Intelligent automated software testing at scale, Facebook, retrieved 30 November 2018
  12. Dotson, Kyt (2 May 2018). "With Sapienz, Facebook makes automated software testing smarter". silisonANGLE. Retrieved 30 November 2018.
  13. "Mark Harman • IEEE Computer Society". www.computer.org. Retrieved 23 February 2019.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.