Mark Harman (computer scientist)
Template:Short description Script error: No such module "Other people". Script error: No such module "Unsubst". Template:Use British English Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters".
Prof. Mark Harman is a British computer scientist. Since 2010, he has been a professor at University College London (UCL)[1] and since 2017 he has been at Facebook London. He was founder of the Centre for Research on Evolution Search and Testing (CREST) initially at King's College London in 2006, latterly at UCL, and was the Director until 2017.[2] 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";[3] and the ACM SIGSOFT Outstanding Research Award[4][5] He was elected a Fellow of the Royal Academy of Engineering in 2020.[6]
Harman studied software engineering at Imperial College, London, between 1984 and 1988.[7] 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),[8] and King's College London, UK (2004–10) where he led the Software Engineering Group.
In September 2016, Harman co-founded Majicke Limited,[7] creator of the Sapienz bug finding app. The company was acquired by Facebook[9] and in February 2017 Harman joined Facebook London 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. He organizes the annual Facebook Testing & Verification (TAV) Symposium.[10]
Mark Harman has published many academic papers, especially in the area of software testing,[11][12] with an h-index of 75 (in 2017) according to Google Scholar.[13] 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.[14] Search-based automated test design technology has been deployed at Facebook since September 2017.[15][16] 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.[17][18]
Books
- Harman, M. and Jones, R., First Course in C++: A Gentle Introduction. McGraw-Hill, 1996. Template:ISBN.
- Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. Template:ISBN.
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ a b Mark Harman, LinkedIn.
- ↑ Mark Harman home page Script error: No such module "webarchive"., Brunel University, UK.
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Template:First word Template:PAGENAMEBASE at DBLP Bibliography ServerTemplate:EditAtWikidata
- ↑ Mark Harman's publications Script error: No such module "webarchive"., King's College London, UK.
- ↑ Template:Google Scholar id. Retrieved 29 November 2018.
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
Script error: No such module "Check for unknown parameters".
External links
Script error: No such module "Authority control".
- Pages with script errors
- 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