This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Mark Harman | |
|---|---|
| Name | Mark Harman |
| Birth date | 1950s |
| Birth place | United Kingdom |
| Occupation | Computer scientist, translator, author |
| Alma mater | University of Cambridge |
| Known for | Compiler construction, program transformation, software maintenance |
Mark Harman is a British computer scientist and translator known for work in program transformation, software testing, and compiler construction. He has contributed to automated debugging, search-based software engineering, and empirical software engineering, and has translated numerous literary works between Welsh language and English language. Harman has held academic positions across the United Kingdom and has collaborated with researchers in United States, India, Germany, and China.
Harman was born in the United Kingdom and educated at institutions including the University of Cambridge, where he completed advanced studies in computer science. His early training linked him to traditions in compiler theory exemplified by researchers associated with Niklaus Wirth, Alfred Aho, and Jeffrey Ullman. During his formative years he engaged with communities around programming language design influenced by work at the University of Cambridge Computer Laboratory and research groups active in software engineering at institutions such as the University of Oxford and Imperial College London.
Harman has served on faculty at leading research universities and laboratories, holding positions that connected him to centers for software engineering and automated analysis. He has collaborated with groups at the University College London, the University of York, and research teams affiliated with the Royal Society. His career includes visiting appointments and collaborations with laboratories in the United States such as teams at IBM Research, academic units at the Massachusetts Institute of Technology, and partnerships with researchers at the University of California, Berkeley. He has also worked with European partners including groups at the Technical University of Munich and the ETH Zurich.
Harman has been an active participant in international conferences sponsored by organizations such as the Association for Computing Machinery, the IEEE, and the British Computer Society. He has served on program committees for major events including ICSE and FSE, and has been involved in editorial roles for journals published by the ACM and the IEEE Computer Society.
Harman’s research spans compiler construction, program transformation, automated testing, and search-based software engineering (SBSE). He is noted for introducing or developing concepts that connect metaheuristic search techniques from the tradition of John Holland and David E. Goldberg to software testing practices influenced by the work at NIST and testing methodologies used in industry by companies such as Google and Microsoft. His contributions include work on mutation testing that builds on foundations laid by researchers associated with the Ferrara and Offutt lineages, as well as advances in automated repair inspired by investigations at institutions like Carnegie Mellon University and ETH Zurich.
Harman has advanced program slicing and transformation methods tracing intellectual lineage to the research of Mark Weiser and compiler frameworks pioneered by Donald Knuth and Ken Thompson. His work on empirical evaluation has engaged with methodologies promoted by scholars at the University of Illinois at Urbana–Champaign and the University of Maryland. He has led projects that applied search-based optimization to real-world software systems developed at organizations such as NASA, Siemens, and ARM Holdings.
Harman has authored and co-authored numerous peer-reviewed articles in venues including the International Conference on Software Engineering (ICSE), Foundations of Software Engineering (FSE), and journals from the IEEE Transactions on Software Engineering and the ACM Transactions on Software Engineering and Methodology (TOSEM). He has contributed chapters to edited volumes alongside editors associated with the Springer and Elsevier publishing houses, and has co-authored survey articles cited by researchers at institutions like the University of Toronto and the University of Southampton.
In addition to technical publications, Harman has produced literary translations connecting Welsh literature with English readers, contributing to the cultural exchange championed by organizations such as the British Council and the National Library of Wales. His dual career in technical research and translation links him to multidisciplinary discourse represented at forums like the Royal Institution.
Harman’s work has been recognized by peers through awards and honors from professional bodies including the Association for Computing Machinery and the IEEE Computer Society. He has received distinctions for research impact from national funding agencies and recognition from academic societies such as the Royal Academy of Engineering and the British Academy. His publications have earned best paper awards at conferences like ICSE and FSE, and his leadership in SBSE has been acknowledged in community retrospectives compiled by organizations such as the Software Engineering Institute.
Beyond academia, Harman is active in translation and cultural projects linking Wales and broader English-language readerships. His interdisciplinary career influences researchers at universities including the University of Edinburgh, the University of Cambridge, and the University of Birmingham. Harman’s legacy includes establishing methodological bridges between search-based optimization and practical software testing used by industrial teams at firms like Amazon and Facebook, and mentoring doctoral students who now hold positions at institutions such as the University of Toronto and the Australian National University.
Category:British computer scientists Category:Software engineering researchers