Марк Харман | |
---|---|
Национальность | Британский |
Гражданство | Великобритания |
Альма-матер | Имперский колледж Лондон |
Известен | Разработка программного обеспечения на основе поиска , тестирование программного обеспечения |
Награды | Премия IEEE Harlan D. Mills, 2019 г. |
Научная карьера | |
Поля | Информатика |
Учреждения | Политехнический институт Северного Лондона , Университет Северного Лондона , Голдсмитский колледж ( Лондонский университет ), Университет Брунеля , Университетский колледж Лондона , Facebook |
Профессор Марк Харман - британский ученый-компьютерщик. С 2010 года он был профессором Университетского колледжа Лондона (UCL) [1], а с 2017 года работает в Facebook London. Он был основателем Центра исследований эволюционного поиска и тестирования (CREST) сначала в Королевском колледже Лондона в 2006 году, а затем в UCL, и был директором до 2017 года. [2] Харман получил обе основные награды за исследования в области разработки программного обеспечения. (оба награждены в 2019 году): награда IEEE Harlan D. Mills Awardза «фундаментальный вклад в разработку программного обеспечения, включая основополагающий вклад в создание программного обеспечения на основе поиска, возрождение исследований в области нарезки и тестирования, а также в создание генетических улучшений»; [3] и награда ACM SIGSOFT за выдающиеся исследования [4]
Harman изучал программной инженерии в Imperial College , London между 1984-88. [5] Он ранее работал в Политехническом Северного Лондона (1988-91), Университет Северного Лондона (1991-97), где он был недавно глава вычислениям, Голдсмит Колледж , Лондонский университет (1998-2000), Brunel Университет (2000–04), [6] и Королевский колледж Лондона , Великобритания (2004–10), где он руководил группой разработки программного обеспечения .
В сентябре 2016 года Харман стал соучредителем Majicke Limited [5], создателя приложения для поиска ошибок Sapienz. Компания была приобретена Facebook [7], и в феврале 2017 года Харман присоединился к Facebook London в качестве штатного технического менеджера. Он остается по совместительству профессором программной инженерии в CREST и факультета компьютерных наук Университетского колледжа Лондона . Он организует ежегодный симпозиум по тестированию и проверке Facebook (TAV). [8]
Марк Харман опубликовал множество научных работ, особенно в области тестирования программного обеспечения , [9] [10] с индексом Хирша 75 (в 2017 году) согласно Google Scholar . [11] Он способствовал особенно в области программ нарезки и трансформации программ . Он входит в редакционные коллегии ряда академических журналов, включая IEEE Transactions по разработке программного обеспечения и тестированию, проверке и надежности программного обеспечения . Он ввел термин « разработка программного обеспечения на основе поиска» (SBSE) вместе с Б.Ф. Джонсом в 2001 году [12].Технология автоматизированного проектирования тестов на основе поиска была развернута в Facebook с сентября 2017 года. [13] [14] Харман также работает над «веб-моделированием», технологией, которая использует параллельную версию Facebook для моделирования и экспериментов с ней. подходы, препятствующие плохим актерам. [15] [16]
Книги [ править ]
- Харман М. и Джонс Р. Первый курс C ++ : мягкое введение . McGraw-Hill , 1996. ISBN 0-07-709194-9 .
- Хиеронс, Р., Боуэн, Дж. П. , и Харман, М., редакторы, Формальные методы и тестирование . Springer-Verlag , LNCS , Volume 4949, 2008. ISBN 978-3-540-78916-1 .
Ссылки [ править ]
- ^ Домашняя страница Марка Хармана , Университетский колледж Лондона , Великобритания
- ^ "Центр исследований эволюционного поиска и тестирования" . Великобритания: Университетский колледж Лондона . Проверено 29 ноября 2018 . CS1 maint: discouraged parameter (link)
- ^ «Марк Харман • Компьютерное общество IEEE» . www.computer.org . Проверено 23 февраля 2019 .
- ^ "В центре внимания сессия с Марком Харманом" . Facebook Research . 30 мая 2019 . Проверено 20 августа 2020 .
- ^ а б Марк Харман , LinkedIn .
- ^ Марк Харман страница архивации 2007-12-11 в Wayback Machine , Brunel University , Великобритания.
- ^ «Вопросы и ответы с инженером Facebook Марком Харманом» . Forbes . 10 февраля 2019.
- ^ "Facebook TAV Symposium" . Facebook . Проверено 29 ноября 2018 . CS1 maint: discouraged parameter (link)
- ^ Марк Харман насервере библиографии DBLP
- ^ Публикации Марка Хармана Архивировано 2010-05-12 в Wayback Machine , Королевский колледжЛондоне, Великобритания.
- ^ Публикации Марка Хармана, проиндексированные Google Scholar . Проверено 29 ноября 2018.
- ^ Харман, М .; Джонс, Б.Ф. (2001). «Поисковая инженерия» . Информационные и программные технологии . 43 (14): 833–839. DOI : 10.1016 / S0950-5849 (01) 00189-6 .
- ^ Мао, Ke (2 мая 2018), Sapienz: Интеллектуальное автоматизированное тестирование программного обеспечения в масштабе , Facebook , извлекаться 30 ноября 2018 CS1 maint: discouraged parameter (link)
- ^ Dotson, KYT (2 мая 2018). «С помощью Sapienz Facebook делает автоматическое тестирование программного обеспечения более интеллектуальным» . кремнийУГОЛ . Проверено 30 ноября 2018 года . CS1 maint: discouraged parameter (link)
- ↑ Винсент, Джеймс (23 июля 2020 г.). «Facebook имитирует плохое поведение пользователей с помощью ИИ» . Грань . Проверено 20 августа 2020 .
- ^ «WES: Агентное моделирование взаимодействия с пользователем в реальной инфраструктуре» . Facebook Research . Проверено 20 августа 2020 .
Внешние ссылки [ править ]
- Домашняя страница Facebook
- Домашняя страница UCL
- Публикации Марка Хармана, проиндексированные Google Scholar