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

University College London University College London (Trade name, branded as UCL) is a Public university, public research university in London, England. It is a Member institutions of the University of London, member institution of the Federal university, federal Uni ...

(UCL) and since 2017 he has been at

Facebook Facebook is a social media and social networking service owned by the American technology conglomerate Meta Platforms, Meta. Created in 2004 by Mark Zuckerberg with four other Harvard College students and roommates, Eduardo Saverin, Andre ...

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 university, public research university in London, England. King's was established by royal charter in 1829 under the patronage of George IV of the United Kingdom, King George IV ...

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 ...

Outstanding Research Award He was elected a Fellow of the

Royal Academy of Engineering The Royal Academy of Engineering (RAEng) is the United Kingdom's national academy of engineering. The Academy was founded in June 1976 as the Fellowship of Engineering with support from Prince Philip, Duke of Edinburgh, who became the first senio ...

in 2020. Harman studied

software engineering Software engineering is a branch of both computer science and engineering focused on designing, developing, testing, and maintaining Application software, software applications. It involves applying engineering design process, engineering principl ...

Imperial College Imperial College London, also known as Imperial, is a public research university in London, England. Its history began with Prince Albert, husband of Queen Victoria, who envisioned a cultural district in South Kensington that included museums ...

London London is the Capital city, capital and List of urban areas in the United Kingdom, largest city of both England and the United Kingdom, with a population of in . London metropolitan area, Its wider metropolitan area is the largest in Wester ...

, between 1984 and 1988.Mark Harman

LinkedIn LinkedIn () is an American business and employment-oriented Social networking service, social network. It was launched on May 5, 2003 by Reid Hoffman and Eric Ly. Since December 2016, LinkedIn has been a wholly owned subsidiary of Microsoft. ...

. He has previously worked at the

Polytechnic of North London The University of North London (UNL) was a university in London, England, formed from the Polytechnic of North London (PNL) in 1992 when that institution was granted university status. PNL, in turn, had been formed by the amalgamation of the No ...

(1988–91),

University of North London The University of North London (UNL) was a university in London, England, formed from the Polytechnic of North London (PNL) in 1992 when that institution was granted university status. PNL, in turn, had been formed by the amalgamation of the No ...

(1991–97), where he was latterly Head of Computing,

Goldsmiths College Goldsmiths, University of London, formerly Goldsmiths College, University of London, is a Member institutions of the University of London, constituent research university of the University of London. It was originally founded in 1891 as The G ...

University of London The University of London (UoL; abbreviated as Lond or more rarely Londin in Post-nominal letters, post-nominals) is a collegiate university, federal Public university, public research university located in London, England, United Kingdom. The ...

(1998–2000),

Brunel University Brunel University of London (BUL) is a public research university located in the Uxbridge area of London, England. It is named after Isambard Kingdom Brunel, a Victorian engineer and pioneer of the Industrial Revolution. It became a university ...

(2000–04), and

, UK (2004–10) where he led the

Software Engineering Software engineering is a branch of both computer science and engineering focused on designing, developing, testing, and maintaining Application software, software applications. It involves applying engineering design process, engineering principl ...

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

. 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 checking whether software satisfies expectations. Software testing can provide objective, independent information about the Quality (business), quality of software and the risk of its failure to a User (computin ...

, 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 success indicators such as winning t ...

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 Academic publishing, scholarly literature across an array of publishing formats and disciplines. Released in Beta release, beta in November 2004, th ...

. 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 A program transformation is any operation that takes a computer program and generates another program. In many cases the transformed program is required to be semantically equivalent to the original, relative to a particular Formal semantics of p ...

. He is on the editorial boards of a number of academic journals including ''

IEEE Transactions on Software Engineering The ''IEEE Transactions on Software Engineering'' is a monthly peer-reviewed scientific journal published by the IEEE Computer Society. It was established in 1975 and covers the area of software engineering. It is considered the leading journal in ...

'' and ''

Software Testing, Verification & Reliability ''Software Testing, Verification, & Reliability'' is a peer-reviewed scientific journal in the field of software testing, verification, and reliability published by John Wiley & Sons. STVR was founded in 1991 by Derek Yates. Martin Woodward bec ...

''. 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++ C++ (, pronounced "C plus plus" and sometimes abbreviated as CPP or CXX) is a high-level, general-purpose programming language created by Danish computer scientist Bjarne Stroustrup. First released in 1985 as an extension of the C programmin ...

: A Gentle Introduction''.

McGraw-Hill McGraw Hill is an American education science company that provides educational content, software, and services for students and educators across various levels—from K-12 to higher education and professional settings. They produce textbooks, ...

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

Formal Methods In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, ...

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
* {{DEFAULTSORT:Harman, Mark 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