Jump to content

Марк Харман (ученый-компьютерщик)

Марк Харман
Национальность Британский
Гражданство Великобритания
Альма-матер Имперский колледж Лондона
Известный Разработка программного обеспечения на основе поиска , тестирование программного обеспечения
Награды Премия IEEE Харлана Д. Миллса (2019 г.); [1] ACM SIGSOFT за выдающиеся исследования (2019 г.) Премия [2] [3]
Научная карьера
Поля Информатика
Учреждения Политехнический институт Северного Лондона , Университет Северного Лондона , Голдсмитс-колледж ( Лондонский университет ), Университет Брунеля , Королевский колледж Лондона , Университетский колледж Лондона , Facebook

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

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

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

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

  • Харман М. и Джонс Р. Первый курс C++ : нежное введение . МакГроу-Хилл , 1996. ISBN   0-07-709194-9 .
  • Хиеронс Р., Боуэн Дж. П. и Харман М., редакторы журнала «Формальные методы и тестирование» . Springer-Verlag , LNCS , том 4949, 2008 г. ISBN   978-3-540-78916-1 .
  1. ^ Jump up to: а б «Марк Харман: лауреат премии» . www.computer.org . Компьютерное общество IEEE . Проверено 23 февраля 2019 г.
  2. ^ Jump up to: а б «Награда за выдающиеся исследования» . СИГСОФТ . Ассоциация вычислительной техники . Проверено 29 сентября 2021 г.
  3. ^ Jump up to: а б «В центре внимания» Марк Харман . Исследование Фейсбука . 30 мая 2019 года . Проверено 20 августа 2020 г.
  4. ^ «Марк Харман» . Великобритания: Университетский колледж Лондона .
  5. ^ «Центр исследований по поиску и тестированию эволюции» . Великобритания: Университетский колледж Лондона . Проверено 29 ноября 2018 г.
  6. ^ Jump up to: а б Марк Харман , LinkedIn .
  7. Домашняя страница Марка Хармана . Архивировано 11 декабря 2007 г. в Wayback Machine , Университет Брунеля , Великобритания.
  8. ^ «Вопросы и ответы с инженером Facebook Марком Харманом» . Форбс . 10 февраля 2019 г.
  9. ^ «Симпозиум Facebook TAV» . Фейсбук . Проверено 29 ноября 2018 г.
  10. ^ Марк Харман на DBLP библиографическом сервере Отредактируйте это в Викиданных
  11. Публикации Марка Хармана. Архивировано 12 мая 2010 г. в Wayback Machine , Королевский колледж Лондона, Великобритания.
  12. ^ Публикации Марка Хармана, индексируемые Google Scholar. Отредактируйте это в Викиданных. Проверено 29 ноября 2018 г.
  13. ^ Харман, М.; Джонс, Б.Ф. (2001). «Поисковая разработка программного обеспечения» . Информационные и программные технологии . 43 (14): 833–839. дои : 10.1016/S0950-5849(01)00189-6 .
  14. ^ Мао, Ке (2 мая 2018 г.), Sapienz: Интеллектуальное автоматизированное тестирование программного обеспечения в масштабе , Facebook , дата обращения 30 ноября 2018 г.
  15. ^ Дотсон, Кит (2 мая 2018 г.). «Благодаря Sapienz Facebook делает автоматизированное тестирование программного обеспечения более разумным» . силиконУГОЛ . Проверено 30 ноября 2018 г.
  16. ^ Винсент, Джеймс (23 июля 2020 г.). «Facebook имитирует плохое поведение пользователей с помощью искусственного интеллекта» . Грань . Проверено 20 августа 2020 г.
  17. ^ «WES: Агентное моделирование взаимодействия пользователей с реальной инфраструктурой» . Исследование Фейсбука . Проверено 20 августа 2020 г.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 32f4432b4cffbb1354039d49d73b60f7__1709481660
URL1:https://arc.ask3.ru/arc/aa/32/f7/32f4432b4cffbb1354039d49d73b60f7.html
Заголовок, (Title) документа по адресу, URL1:
Mark Harman (computer scientist) - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)