Харман, Марк (разработчик программного обеспечения)

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Марк Харман
Mark Harman
Страна
Род деятельности специалист в области информатики, инженер
Место работы Facebook, University College London
Альма-матер Imperial College London
Учёное звание профессор
Награды и премии IEEE Harlan D. Mills Award (2019); ACM SIGSOFT Outstanding Research Award (2019)
Сайт iris.ucl.ac.uk/iris/brow…

Марк Харман — британский профессор, специалист в области разработки программного обеспечения.

Биография

[править | править код]

С 2010 года Харман является профессором Университетского колледжа Лондона (UCL), а с 2017 года работает в лондонском офисе Facebook. Он был основателем Центра исследований в области эволюционного поиска и тестирования (CREST) сначала в Королевском колледже Лондона в 2006 году, затем в UCL.

Харман получил две главные исследовательские награды в области разработки программного обеспечения в 2019 году: премию IEEE имени Харлана Д. Миллса за фундаментальный вклад в разработку программного обеспечения[1], и награду Ассоциации компьютерной техники SIGSOFT[2].

В сентябре 2016 года Харман стал одним из основателей компании Majicke Limited, создавшей приложение для поиска ошибок Sapienz. Компания была приобретена Facebook[3], и в феврале 2017 года Харман присоединился к Facebook в качестве штатного руководителя инженерного отдела.

Марк Харман опубликовал множество научных работ, особенно в области тестирования программного обеспечения. По данным Google Scholar на 2023 год индекс Хирша исследователя перевалил за 100[4]. Харман внес значительный вклад в область нарезки и преобразования программ. Входит в состав редакционных советов ряда научных журналов, включая IEEE Transactions on Software Engineering и Software Testing. Харман ввел термин "программная инженерия на основе поиска" (SBSE) вместе с Б. Ф. Джонсом в 2001 году.

Книги

[править | править код]
  • Харман М., Джонс Р. Первый курс по C++: Мягкое введение. McGraw-Hill, 1996. ISBN 0-07-709194-9.
  • Иеронс Р., Боуэн Дж.П., Харман М. (ред.) Формальные методы и тестирование. Springer-Verlag, LNCS, том 4949, 2008. ISBN 978-3-540-78916-1.

Публикации на русском языке

[править | править код]
  • Харман, Марк. Черновик руководства для моих студентов по написанию исследовательских работ в области разработки программного обеспечения / пер. с англ. // figshare. 2023. Preprint. https://doi.org/10.6084/m9.figshare.24827856.v1

Примечания

[править | править код]
  1. ↑ Lovos, Milagros Mark Harman. Award Recipient (амер. англ.). IEEE Computer Society (1 марта 2019). Дата обращения: 8 декабря 2023. Архивировано 8 декабря 2023 года.
  2. ↑ Hugo, SIGSOFT template made by Raula using Outstanding Research Award (амер. англ.). The ACM Special Interest Group on Software Engineering. Дата обращения: 8 декабря 2023. Архивировано 8 декабря 2023 года.
  3. ↑ Anthony, Sebastian Facebook’s evolutionary search for crashing software bugs (амер. англ.). Ars Technica (22 августа 2017). Дата обращения: 8 декабря 2023. Архивировано 8 декабря 2023 года.
  4. ↑ Mark Harman. scholar.google.com. Дата обращения: 8 декабря 2023. Архивировано 8 декабря 2023 года.

Ссылки

[править | править код]
Источник — https://ru.wikipedia.org/w/index.php?title=Харман,_Марк_(разработчик_программного_обеспечения)&oldid=140472181