Mark Harman (computer scientist)

Mark Harman is a British computer scientist. Since 2010 he has been a Professor at University College London.^[1] He is also Director of the Centre for Research on Evolution Search and Testing (CREST), a research laboratory at UCL.^[2]

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.

Mark Harman has published many academic papers, especially in the area of software testing.^[5][6] 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.^[7]

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.

References

1. Mark Harman home page, University College London, UK
2. Centre for Research on Evolution Search and Testing, University College London, UK.
3. Mark Harman, LinkedIn.
4. Mark Harman home page, Brunel University, UK.
5. Mark Harman at DBLP Bibliography Server
6. Mark Harman's publications, King's College London, UK.
7. M. Harman and B. F. Jones, Search-based software engineering, Information & Software Technology, Vol. 43, No. 14, pp. 833–839 (2001).