Prof. Mark Harman is a British computer scientist. Since 2010, he has been a professor at

University College London , mottoeng = Let all come who by merit deserve the most reward , established = , type = Public research university , endowment = £143 million (2020) , budget = ...

(UCL) and since 2017 he has been at

Facebook Facebook is an online social media and social networking service owned by American company Meta Platforms. Founded in 2004 by Mark Zuckerberg with fellow Harvard College students and roommates Eduardo Saverin, Andrew McCollum, Dustin M ...

London. He was founder of the Centre for Research on Evolution Search and Testing (CREST) initially at

King's College London King's College London (informally King's or KCL) is a public research university located in London, England. King's was established by royal charter in 1829 under the patronage of King George IV and the Duke of Wellington. In 1836, King's ...

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 The Association for Computing Machinery's Special Interest Group on Software Engineering provides a forum for computing professionals from industry, government and academia to examine principles, practices, and new research results in software en ...

Outstanding Research Award Harman studied

software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

Imperial College Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a cu ...

London London is the capital and largest city of England and the United Kingdom, with a population of just under 9 million. It stands on the River Thames in south-east England at the head of a estuary down to the North Sea, and has been a majo ...

between 1984–88.Mark Harman

LinkedIn LinkedIn () is an American business and employment-oriented online service that operates via websites and mobile apps. Launched on May 5, 2003, the platform is primarily used for professional networking and career development, and allows job se ...

. 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 Goldsmiths, University of London, officially the Goldsmiths' College, is a constituent research university of the University of London in England. It was originally founded in 1891 as The Goldsmiths' Technical and Recreative Institute by the Wor ...

University of London The University of London (UoL; abbreviated as Lond or more rarely Londin in post-nominals) is a federal public research university located in London, England, United Kingdom. The university was established by royal charter in 1836 as a degree ...

(1998–2000),

Brunel University Brunel University London is a public research university located in the Uxbridge area of London, England. It was founded in 1966 and named after the Victorian engineer and pioneer of the Industrial Revolution, Isambard Kingdom Brunel. In June 1 ...

(2000–04), and

, UK (2004–10) where he led the

Software Engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

Group. In September 2016, Harman co-founded Majicke Limited, creator of the Sapienz bug finding app. The company was acquired by

and in February 2017 Harman joined Facebook

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 , mottoeng = Let all come who by merit deserve the most reward , established = , type = Public research university , endowment = £143 million (2020) , budget = ...

. He organizes the annual Facebook Testing & Verification (TAV) Symposium. Mark Harman has published many academic papers, especially in the area of

software testing Software testing is the act of examining the artifacts and the behavior of the software under test by validation and verification. Software testing can also provide an objective, independent view of the software to allow the business to apprecia ...

, with an

h-index The ''h''-index is an author-level metric that measures both the productivity and citation impact of the publications, initially used for an individual scientist or scholar. The ''h''-index correlates with obvious success indicators such as winn ...

of 75 (in 2017) according to

Google Scholar Google Scholar is a freely accessible web search engine that indexes the full text or metadata of scholarly literature across an array of publishing formats and disciplines. Released in beta in November 2004, the Google Scholar index includes p ...

. He has contributed particularly in the areas of

program slicing In computer programming, program slicing is the computation of the set of program statements, the program slice, that may affect the values at some point of interest, referred to as a slicing criterion. Program slicing can be used in debugging t ...

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 Search-based software engineering (SBSE) applies metaheuristic search techniques such as genetic algorithms, simulated annealing and tabu search to software engineering problems. Many activities in software engineering can be stated as optimizatio ...

(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 McGraw Hill is an American educational publishing company and one of the "big three" educational publishers that publishes educational content, software, and services for pre-K through postgraduate education. The company also publishes referenc ...

, 1996. . * Hierons, R., Bowen, J.P., and Harman, M., editors, '' Formal Methods and Testing''.

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

LNCS ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, ...

, Volume 4949, 2008. .

References

External links

Facebook home page

UCL home 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 {{UK-academic-bio-stub