Марк Харман (ученый-компьютерщик) - Википедия - Mark Harman (computer scientist)

Для других людей по имени Марк Харман см. Марк Харман (значения).

Марк Харман
НациональностьБританский
Гражданствообъединенное Королевство
Альма-матерИмперский колледж Лондон
ИзвестенРазработка программного обеспечения на основе поиска, тестирование программного обеспечения
НаградыПремия IEEE Harlan D. Mills 2019 г.
Научная карьера
ПоляИнформатика
УчрежденияПолитехнический институт Северного Лондона, Университет Северного Лондона, Колледж ювелиров (Лондонский университет ), Брунельский университет, Университетский колледж Лондона, Facebook

Проф. Марк Харман это Британский специалист в области информатики. С 2010 г. - профессор Университетский колледж Лондона (UCL)[1] а с 2017 года он в Facebook Лондон. Первоначально он был основателем Центра исследований эволюционного поиска и тестирования (CREST) ​​в Королевский колледж Лондона в 2006 году, в последнее время в UCL, и был директором до 2017 года.[2] Харман получил две основные исследовательские награды в области разработки программного обеспечения (обе присуждены в 2019 году): Премия IEEE Харлана Д. Миллса за «фундаментальный вклад в разработку программного обеспечения, включая основополагающий вклад в создание программного обеспечения на основе поиска, возрождение исследований в области нарезки и тестирования, а также в создание генетических улучшений»;[3] и Премия ACM SIGSOFT за выдающиеся исследования[4]

Харман учился программная инженерия в Имперский колледж, Лондон между 1984–88 гг.[5] Ранее он работал в Политехнический институт Северного Лондона (1988–91), Университет Северного Лондона (1991–97), где недавно был главой отдела вычислений, Колледж ювелиров, Лондонский университет (1998–2000), Брунельский университет (2000–04),[6] и Королевский колледж Лондона, Великобритания (2004–10), где он возглавлял Программная инженерия Группа.

В сентябре 2016 года Харман стал соучредителем Majicke Limited,[5] создатель приложения для поиска ошибок Sapienz. Компания была приобретена Facebook[7] а в феврале 2017 года Харман присоединился к Facebook Лондон в качестве штатного технического менеджера. Он остается по совместительству профессором программной инженерии в CREST и факультета компьютерных наук в Университетский колледж Лондона. Он организует ежегодный симпозиум по тестированию и проверке Facebook (TAV).[8]

Марк Харман опубликовал множество научных работ, особенно в области тестирование программного обеспечения,[9][10] с индекс Хирша из 75 (в 2017 г.) по Google ученый.[11] Он внес особый вклад в области программа нарезки и преобразование программы Он входит в редколлегии ряда академических журналов, в том числе. IEEE Transactions по разработке программного обеспечения и Тестирование, проверка и надежность программного обеспечения Он ввел термин разработка программного обеспечения на основе поиска (SBSE) с Б.Ф. Джонсом в 2001 году.[12] Технология автоматизированного проектирования тестов на основе поиска внедрена в Facebook с сентября 2017 года.[13][14] Харман также работал над «веб-моделированием» - технологией, в которой используется параллельная версия Facebook, позволяющая моделировать и экспериментировать с подходами, мешающими злоумышленникам.[15] [16]

Книги

  • Харман М. и Джонс Р., Первое блюдо в C ++: Нежное введение. Макгроу-Хилл, 1996. ISBN  0-07-709194-9.
  • Иеронс, Р., Боуэн, Дж., и Харман, М., редакторы, Формальные методы и тестирование. Springer-Verlag, LNCS, Том 4949, 2008. ISBN  978-3-540-78916-1.

Рекомендации

  1. ^ Домашняя страница Марка Хармана, Университетский колледж Лондона, ВЕЛИКОБРИТАНИЯ
  2. ^ «Центр исследований эволюции поиска и тестирования». ВЕЛИКОБРИТАНИЯ: Университетский колледж Лондона. Получено 29 ноябрь 2018.
  3. ^ «Марк Харман • Компьютерное общество IEEE». www.computer.org. Получено 23 февраля 2019.
  4. ^ «В центре внимания сессия с Марком Харманом». Facebook исследования. 30 мая 2019. Получено 20 августа 2020.
  5. ^ а б Марк Харман, LinkedIn.
  6. ^ Домашняя страница Марка Хармана В архиве 2007-12-11 на Wayback Machine, Брунельский университет, ВЕЛИКОБРИТАНИЯ.
  7. ^ «Вопросы и ответы с инженером Facebook Марком Харманом». Forbes. 10 февраля 2019.
  8. ^ «Симпозиум Facebook TAV». Facebook. Получено 29 ноябрь 2018.
  9. ^ Марк Харман в DBLP Сервер библиографии Отредактируйте это в Викиданных
  10. ^ Публикации Марка Хармана В архиве 2010-05-12 в Wayback Machine, Королевский колледж Лондона, Великобритания.
  11. ^ Марк Харман публикации, проиндексированные Google ученый Отредактируйте это в Викиданных. Проверено 29 ноября 2018.
  12. ^ Harman, M .; Джонс, Б. Ф. (2001). «Разработка программного обеспечения на основе поиска». Информационные и программные технологии. 43 (14): 833–839. Дои:10.1016 / S0950-5849 (01) 00189-6.
  13. ^ Мао, Кэ (2 мая 2018 г.), Сапиенц: интеллектуальное автоматизированное тестирование программного обеспечения в больших масштабах, Facebook, получено 30 ноября 2018
  14. ^ Дотсон, Кит (2 мая 2018 г.). «С помощью Sapienz Facebook делает автоматическое тестирование программного обеспечения более интеллектуальным». силикон. Получено 30 ноября 2018.
  15. ^ Винсент, Джеймс (23 июля 2020 г.). «Facebook имитирует плохое поведение пользователей с помощью ИИ». Грани. Получено 20 августа 2020.
  16. ^ «WES: моделирование взаимодействия с пользователем на основе агентов в реальной инфраструктуре». Facebook исследования. Получено 20 августа 2020.

внешняя ссылка