Mark Harman (computer scientist)

For other people named Mark Harman, see Mark Harman (disambiguation).

Mark Harman is a British computer scientist. Since 2004 he has been a Professor at King's College London,^[1] where he leads the Software Engineering Group.^[2] He is also Director of the Centre for Research on Evolution Search and Testing (CREST), a research laboratory at KCL.^[3]

Harman studied software engineering at Imperial College, London between 1984–88.^[4] 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).^[5]

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

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, King's College London, UK.
2. ^ Group members, The Software Engineering Group, Department of Computer Science, King's College London, UK.
3. ^ CREST members, Centre for Research on Evolution Search and Testing, Department of Computer Science, King's College London, UK.
4. ^ Mark Harman, LinkedIn.
5. ^ Mark Harman home page, Brunel University, UK.
6. ^ Mark Harman bibliography in the DBLP database.
7. ^ Mark Harman's publications, King's College London, UK.

Persondata
Name	Harman, Mark
Alternative names
Short description
Date of birth
Place of birth
Date of death
Place of death

This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it.v · Categories: Living people Alumni of Imperial College London Academics of the University of North London Academics of Goldsmiths, University of London Academics of Brunel University Academics of King's College London Formal methods people Software testing people Computer science writers English computer scientists English book editors British academic biography stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем сделать НИР Mark Hardy (ice hockey) Mark Harman (cricketer) Look at other dictionaries: Mark Harman — may refer to: Mark Harman (translator) (born 1951), Irish American translator Mark Harman (computer scientist), British computer scientist See also Mark Harmon (born 1951), actor Mark Harmon (musician), American record producer, songwriter, and… …   Wikipedia List of Princeton University people — This is a table of notable people affiliated with Princeton University, including graduates of the undergraduate college and all graduate programs, former students, and former professors. Some noted current faculty are also listed in the main… …   Wikipedia List of Harvard University people — The list of Harvard University people includes notable graduates, professors and administrators affiliated with Harvard University. For a list of notable non graduates of Harvard, see notable non graduate alumni of Harvard. For a list of Harvard… …   Wikipedia Liste de personnes par nombre d'Erdős — Voici une liste non exhaustive de personnes ayant un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Référence …   Wikipédia en Français Noam Chomsky — Chomsky redirects here. For other topics with the same name, see Chomsky (disambiguation). Noam Chomsky Noam Chomsky visiting Vancouver, Canada in 2004 …   Wikipedia Deaths in November 2009 — Contents 1 November 2009 1.1 30 1.2 29 1.3 28 …   Wikipedia List of Swarthmore College people — The following is a list of notable people associated with Swarthmore College. =Nobel laureates= Listed chronologically by year of the award.MacArthur FellowsListed chronologically by year of the grant.List of AlumniListed in alphabetical order by …   Wikipedia Deaths in December 2009 — Contents 1 December 2009 1.1 31 1.2 30 1.3 29 …   Wikipedia October 8 — << October 2011 >> Su Mo Tu We Th Fr Sa 1 …   Wikipedia List of Bucky O'Hare characters — This article is about characters who appear in Bucky O Hare and the Toad Wars. Contents 1 S.P.A.C.E. Members and Allies 1.1 Commander Dogstar 1.2 Mimi LaFloo 1.3 Wolf …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”