Mark Harman (datavetare)

För andra personer som heter Mark Harman, se Mark Harman (disambiguation) .

Mark Harman
Nationalitet	brittisk
Medborgarskap	Storbritannien
Alma mater	Imperial College London
Känd för	Search Based Software Engineering , mjukvarutestning
Utmärkelser	IEEE Harlan D. Mills Award (2019); ACM SIGSOFT Outstanding Research Award (2019)
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	Polytechnic of North London , University of North London , Goldsmiths College ( University of London ), Brunel University , King's College London , University College London , Facebook

Prof. Mark Harman är en brittisk datavetare. Sedan 2010 har han varit professor vid University College London (UCL) och sedan 2017 på Facebook London. Han var grundare av Centre for Research on Evolution Search and Testing (CREST) ​​från början vid King's College London 2006, senare vid UCL, och var direktör fram till 2017. Harman har mottagit båda de stora forskningspriserna för mjukvaruteknik (båda tilldelade 2019): IEEE Harlan D. Mills Award , för "grundläggande bidrag genom programvaruutveckling, inklusive avgörande bidrag till att etablera sökbaserad mjukvaruteknik, återuppliva forskning inom skivning och testning och grundande av genetisk förbättring"; och ACM SIGSOFT Outstanding Research Award

Harman studerade mjukvaruteknik vid Imperial College , London mellan 1984–88. Han har tidigare arbetat vid Polytechnic of North London (1988–91), University of North London (1991–97), där han senare var chef för databehandling, Goldsmiths College , University of London (1998–2000), Brunel University (2000 ) –04), och King's College London , Storbritannien (2004–10) där han ledde Software Engineering Group.

I september 2016 var Harman med och grundade Majicke Limited, skapare av Sapienz-appen för att hitta fel. Företaget köptes upp av Facebook och i februari 2017 började Harman med Facebook London som teknisk chef på heltid. Han är kvar som deltidsprofessor i mjukvaruteknik i CREST och datavetenskapsavdelningen vid University College London . Han anordnar det årliga Facebook Testing & Verification (TAV) symposiet.

Mark Harman har publicerat många akademiska artiklar, särskilt inom området mjukvarutestning , med ett h-index på 75 (år 2017) enligt Google Scholar . Han har bidragit särskilt inom områdena programdelning och programomvandling . Han sitter i redaktionen för ett antal akademiska tidskrifter, inklusive IEEE Transactions on Software Engineering and Software Testing, Verification & Reliability . Han myntade termen sökbaserad mjukvaruteknik (SBSE) med BF Jones 2001. Sökbaserad automatiserad testdesignteknik har använts på Facebook sedan september 2017. Harman har också arbetat med "web-enabled simulation", en teknik som använder en parallell version av Facebook för att möjliggöra modellering och experiment med metoder som hindrar dåliga aktörer.

Böcker

•   Harman, M. och Jones, R., Första kursen i C++ : A Gentle Introduction . McGraw-Hill , 1996. ISBN 0-07-709194-9 .
•   Hierons, R., Bowen, JP , och Harman, M., redaktörer, Formella metoder och testning . Springer-Verlag , LNCS , volym 4949, 2008. ISBN 978-3-540-78916-1 .

externa länkar

• Facebooks hemsida
• UCLs hemsida
• Mark Harmans publikationer indexerade av Google Scholar