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

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

Ссылки

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

Внешние ссылки

домашняя страница Фейсбука
Домашняя страница UCL
Публикации Марка Хармана , индексируемые Google Scholar

[hdm-award-1] Jump up to: ^а ^б «Марк Харман: лауреат премии» . www.computer.org . Компьютерное общество IEEE . Проверено 23 февраля 2019 г.

[sigsoft-orw-2] Jump up to: ^а ^б «Награда за выдающиеся исследования» . СИГСОФТ . Ассоциация вычислительной техники . Проверено 29 сентября 2021 г.

[fb19-3] Jump up to: ^а ^б «В центре внимания» Марк Харман . Исследование Фейсбука . 30 мая 2019 года . Проверено 20 августа 2020 г.

[4] «Марк Харман» . Великобритания: Университетский колледж Лондона .

[5] «Центр исследований по поиску и тестированию эволюции» . Великобритания: Университетский колледж Лондона . Проверено 29 ноября 2018 г.

[linkedin-6] Jump up to: ^а ^б Марк Харман , LinkedIn .

[7] Домашняя страница Марка Хармана . Архивировано 11 декабря 2007 г. в Wayback Machine , Университет Брунеля , Великобритания.

[8] «Вопросы и ответы с инженером Facebook Марком Харманом» . Форбс . 10 февраля 2019 г.

[tav-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 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

Базы данных авторитетного контроля
Международный	ВИАФ WorldCat
Национальный	Норвегия Израиль Соединенные Штаты
академики	Ассоциация вычислительной техники ДБЛП Google Академика ОРЦИД Скопус