El profesor Mark Harman es un informático británico . Desde 2010 es profesor en el University College London (UCL) [1] y desde 2017 en Facebook London. Fue fundador del Center for Research on Evolution Search and Testing (CREST) inicialmente en King's College London en 2006, más tarde en UCL, y fue director hasta 2017. [2] Harman ha recibido los dos principales premios de investigación en ingeniería de software. (ambos otorgados en 2019): el premio IEEE Harlan D. Mills, por "contribuciones fundamentales a lo largo de la ingeniería de software, incluidas las contribuciones fundamentales en el establecimiento de la ingeniería de software basada en búsquedas, reactivación de la investigación en corte y pruebas y fundamento de la mejora genética"; [3] y el Premio a la Investigación Destacada ACM SIGSOFT [4]
Mark Harman | |
---|---|
Nacionalidad | británico |
Ciudadanía | Reino Unido |
alma mater | Colegio Imperial de Londres |
Conocido por | Ingeniería de software basada en búsquedas , pruebas de software |
Premios | Premio IEEE Harlan D. Mills 2019 |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Politécnico del Norte de Londres , Universidad del Norte de Londres , Goldsmiths College ( Universidad de Londres ), Universidad Brunel , University College London , Facebook |
Harman estudió ingeniería de software en el Imperial College , Londres entre 1984-1988. [5] Anteriormente trabajó en el Politécnico del Norte de Londres (1988–91), la Universidad del Norte de Londres (1991–97), donde más tarde fue Jefe de Computación, Goldsmiths College , Universidad de Londres (1998–2000), Brunel. University (2000-04), [6] y King's College London , Reino Unido (2004-10) donde dirigió el Grupo de Ingeniería de Software .
En septiembre de 2016, Harman cofundó Majicke Limited, [5] creador de la aplicación de búsqueda de errores Sapienz. La empresa fue adquirida por Facebook [7] y, en febrero de 2017, Harman se incorporó a Facebook London como director de ingeniería a tiempo completo. Permanece como profesor a tiempo parcial de Ingeniería de Software en CREST y en el departamento de Ciencias de la Computación en University College London . Organiza el simposio anual de pruebas y verificación de Facebook (TAV). [8]
Mark Harman ha publicado muchos artículos académicos, especialmente en el área de pruebas de software , [9] [10] con un índice h de 75 (en 2017) según Google Scholar . [11] Ha contribuido particularmente en las áreas de división de programas y transformación de programas . Es miembro de los consejos editoriales de varias revistas académicas, incluidas IEEE Transactions on Software Engineering y Software Testing, Verification & Reliability . Acuñó el término ingeniería de software basada en búsquedas (SBSE) con BF Jones en 2001. [12] La tecnología de diseño de pruebas automatizadas basada en búsquedas se ha implementado en Facebook desde septiembre de 2017. [13] [14] Harman también ha estado trabajando en " simulación habilitada para la web ", una tecnología que utiliza una versión paralela de Facebook para permitir modelar y experimentar con enfoques que impiden a los malos actores. [15] [16]
Libros
- Harman, M. y Jones, R., primer curso en C ++ : una introducción suave . McGraw-Hill , 1996. ISBN 0-07-709194-9 .
- Hierons, R., Bowen, JP y Harman, M., editores, Métodos formales y pruebas . Springer-Verlag , LNCS , volumen 4949, 2008. ISBN 978-3-540-78916-1 .
Referencias
- ^ Página de inicio de Mark Harman , University College London , Reino Unido
- ^ "Centro de Investigación en Búsqueda y Pruebas de Evolución" . Reino Unido: University College London . Consultado el 29 de noviembre de 2018 .
- ^ "Mark Harman • IEEE Computer Society" . www.computer.org . Consultado el 23 de febrero de 2019 .
- ^ "Sesión de Spotlight con Mark Harman" . Investigación de Facebook . 30 de mayo de 2019 . Consultado el 20 de agosto de 2020 .
- ^ a b Mark Harman , LinkedIn .
- ^ Página de inicio de Mark Harman Archivado el 11 de diciembre de 2007 en Wayback Machine , Universidad de Brunel , Reino Unido.
- ^ "Preguntas y respuestas con el ingeniero de Facebook Mark Harman" . Forbes . 10 de febrero de 2019.
- ^ "Simposio TAV de Facebook" . Facebook . Consultado el 29 de noviembre de 2018 .
- ^ Mark Harman en elservidor de bibliografía DBLP
- ^ Publicaciones de Mark Harman Archivadas el 12 de mayo de 2010 en Wayback Machine , King's College London, Reino Unido.
- ^ Publicaciones de Mark Harman indexadas por Google Scholar
. Consultado el 29 de noviembre de 2018.
- ^ Harman, M .; Jones, BF (2001). "Ingeniería de software basada en búsquedas" . Tecnología de la información y el software . 43 (14): 833–839. doi : 10.1016 / S0950-5849 (01) 00189-6 .
- ^ Mao, Ke (2 de mayo de 2018), Sapienz: Prueba de software automatizada inteligente a escala , Facebook , consultado el 30 de noviembre de 2018
- ^ Dotson, Kyt (2 de mayo de 2018). "Con Sapienz, Facebook hace que las pruebas de software automatizadas sean más inteligentes" . silisonANGLE . Consultado el 30 de noviembre de 2018 .
- ^ Vincent, James (23 de julio de 2020). "Facebook está simulando el mal comportamiento de los usuarios usando IA" . The Verge . Consultado el 20 de agosto de 2020 .
- ^ "WES: Simulación de interacción de usuario basada en agentes en infraestructura real" . Investigación de Facebook . Consultado el 20 de agosto de 2020 .
enlaces externos
- Página de inicio de Facebook
- Página de inicio de UCL
- Publicaciones de Mark Harman indexadas por Google Scholar