Mark Harman (computer scientist)
Encyclopedia
Mark Harman is a British
computer scientist. Since 2004 he has been a Professor at King's College London
, where he leads the Software Engineering
Group. He is also Director of the Centre for Research on Evolution Search and Testing (CREST), a research laboratory at KCL.
Harman studied software engineering
at Imperial College, London
between 1984–88. 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), and Brunel University
(2000–04).
Mark Harman has published many academic papers, especially in the area of software testing
. 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.
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
computer scientist. Since 2004 he has been a Professor at King's College London
King's College London
King's College London is a public research university located in London, United Kingdom and a constituent college of the federal University of London. King's has a claim to being the third oldest university in England, having been founded by King George IV and the Duke of Wellington in 1829, and...
, where he leads the Software Engineering
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
Group. He is also Director of the Centre for Research on Evolution Search and Testing (CREST), a research laboratory at KCL.
Harman studied software engineering
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
at Imperial College, London
London
London is the capital city of :England and the :United Kingdom, the largest metropolitan area in the United Kingdom, and the largest urban zone in the European Union by most measures. Located on the River Thames, London has been a major settlement for two millennia, its history going back to its...
between 1984–88. He has previously worked at the Polytechnic of North London (1988–91), University of North London
University of North London
The University of North London was a university in the United Kingdom from 1992 to 2002. On 1 August 2002, it merged with London Guildhall University to form London Metropolitan University. The former University of North London premises now form the new university's north campus, situated on...
(1991–97), where he was latterly Head of Computing, Goldsmiths College
Goldsmiths College
Goldsmiths, University of London is a public research university located in London, United Kingdom which specialises in the arts, humanities and social sciences, and a constituent college of the federal University of London. It was founded in 1891 as Goldsmiths' Technical and Recreative Institute...
, University of London
University of London
-20th century:Shortly after 6 Burlington Gardens was vacated, the University went through a period of rapid expansion. Bedford College, Royal Holloway and the London School of Economics all joined in 1900, Regent's Park College, which had affiliated in 1841 became an official divinity school of the...
(1998–2000), and Brunel University
Brunel University
Brunel University is a public research university located in Uxbridge, London, United Kingdom. The university is named after the Victorian engineer Isambard Kingdom Brunel....
(2000–04).
Mark Harman has published many academic papers, especially in the area of software testing
Software testing
Software testing is an investigation conducted to provide stakeholders with information about the quality of the product or service under test. Software testing can also provide an objective, independent view of the software to allow the business to appreciate and understand the risks of software...
. He has contributed particularly in the areas of program slicing and program transformation
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 and in fewer cases the transformations result in programs...
.
He is on the editorial boards of a number of academic journals including IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
The IEEE Transactions on Software Engineering is a bimonthly, peer-reviewed, scientific journal published by the IEEE Computer Society. It was first published in March of 1975....
and Software Testing, Verification & Reliability
Software Testing, Verification & Reliability
Software Testing, Verification & Reliability is a leading journal in the field of software testing, verification, and reliability. STVR is a quarterly international journal that included papers on both theoretical and practical issues....
.
He coined the term search-based software engineering
Search-based software engineering
Search-based software engineering is an approach to apply metaheuristic search techniques like genetic algorithms, simulated annealing and tabu search to software engineering problems. It is inspired by the observation that many activities in software engineering can be formulated as optimization...
(SBSE) with B. F. Jones in 2001.
Books
- Harman, M. and Jones, R., First Course in C++C++C++ is a statically typed, free-form, multi-paradigm, compiled, general-purpose programming language. It is regarded as an intermediate-level language, as it comprises a combination of both high-level and low-level language features. It was developed by Bjarne Stroustrup starting in 1979 at Bell...
: A Gentle Introduction. McGraw-HillMcGraw-HillThe McGraw-Hill Companies, Inc., is a publicly traded corporation headquartered in Rockefeller Center in New York City. Its primary areas of business are financial, education, publishing, broadcasting, and business services...
, 1996. ISBN 0-07-709194-9. - Hierons, R., Bowen, J.P.Jonathan BowenJonathan P. Bowen FBCS FRSA is a British computer scientist. He is Chairman of Museophile Limited, an Emeritus Professor at London South Bank University where he has headed the Centre for Applied Formal Methods, and a Visiting Professor at the University of Westminster...
, and Harman, M., editors, Formal MethodsFormal methodsIn computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.