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