From Surf Wiki (app.surf) — the open knowledge base

Mark Harman (computer scientist)

British computer scientist

Summary

British computer scientist

Field	Value
name	Mark Harman
citizenship	United Kingdom
nationality	British
field	Computer science
known_for	Search Based Software Engineering, software testing
work_institution	Polytechnic of North London, University of North London, Goldsmiths College (University of London), Brunel University, King's College London, University College London, Facebook
alma_mater	Imperial College London
awards	IEEE Harlan D. Mills Award (2019); ACM SIGSOFT Outstanding Research Award (2019)

Prof. Mark Harman is a British computer scientist. Since 2010, he has been a professor at University College London (UCL) 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. Harman has received both of the major research awards for software engineering (both awarded in 2019): 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"; and the ACM SIGSOFT Outstanding Research Award He was elected a Fellow of the Royal Academy of Engineering in 2020.

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

In September 2016, Harman co-founded Majicke Limited, creator of the Sapienz bug finding app. The company was acquired by Facebook 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.

Mark Harman has published many academic papers, especially in the area of software testing, with an h-index of 75 (in 2017) according to Google Scholar. 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. IEE Proceedings - Software, Information and Software Technology, the Journal of Empirical Software Engineering, the Journal of Software Maintenance and Evolution, the Software Quality Journal

He coined the term search-based software engineering (SBSE) with B. F. Jones in 2001. Search-based automated test design technology has been deployed at Facebook since September 2017. Harman has also been working on "web-enabled simulation", a technology which uses a parallel version of Facebook to enable modelling and experimenting with approaches impeding bad actors.

Books

Harman, M. and Jones, R., First Course in C++: A Gentle Introduction. McGraw-Hill, 1996. .
Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. .

References

"Mark Harman". [[University College London]].
"Centre for Research on Evolution Search and Testing". [[University College London]].
"Mark Harman: Award Recipient". [[IEEE Computer Society]].
"Outstanding Research Award". [[Association for Computing Machinery]].
(2019-05-30). "Spotlight session with Mark Harman".
"Professor Mark Harman FREng".
[http://www.linkedin.com/in/markharman Mark Harman], [[LinkedIn]].
[http://people.brunel.ac.uk/~csstmmh2/ Mark Harman home page] {{webarchive. link. (2007-12-11 , [[Brunel University]], UK.)
(10 Feb 2019). "Q&A With Facebook Engineer Mark Harman". [[Forbes]].
"Facebook TAV Symposium". [[Facebook]].
{{DBLP
[http://www.dcs.kcl.ac.uk/staff/mark/papers.html Mark Harman's publications] {{webarchive. link. (2010-05-12 , King's College London, UK.)
{{Google Scholar id. Retrieved 29 November 2018.
(2001). "Search-based software engineering". [[Information & Software Technology]].
Mao, Ke. (2 May 2018). "Sapienz: Intelligent automated software testing at scale". [[Facebook]].
Dotson, Kyt. (2 May 2018). "With Sapienz, Facebook makes automated software testing smarter". silisonANGLE.
Vincent, James. (2020-07-23). "Facebook is simulating users' bad behavior using AI".
"WES: Agent-based User Interaction Simulation on Real Infrastructure".

Wikipedia Source

This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.

year-of-birth-missing-(living-people) living-people alumni-of-the-department-of-computing,-imperial-college-london academics-of-the-university-of-north-london academics-of-goldsmiths,-university-of-london place-of-birth-missing-(living-people) academics-of-brunel-university-london academics-of-king's-college-london academics-of-university-college-london facebook-employees formal-methods-people software-testing-people computer-science-writers english-computer-scientists english-book-editors fellows-of-the-royal-academy-of-engineering

Want to explore this topic further?

Ask Mako anything about Mark Harman (computer scientist) — get instant answers, deeper analysis, and related topics.

Research with Mako

Free with your Surf account

Content sourced from Wikipedia, available under CC BY-SA 4.0.

This content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.

Report