Марта Квятковска
 | в этой статье Использование внешних ссылок может не соответствовать политике и рекомендациям Википедии . ( Август 2022 г. ) |
Марта Квятковска | |
|---|---|
 Квятковская в 2018 году | |
| Рожденный | Марта Зофья Квятковская 1957 (66–67 лет) [2] |
| Национальность | Польский |
| Гражданство | Британский |
| Альма-матер |
|
| Награды |
|
| Научная карьера | |
| Поля | |
| Учреждения | |
| Диссертация | Справедливость для параллелизма без чередования (1989 г.) |
| Веб-сайт | CS |
Марта Зофия Квятковска FRS MAE (1957 г.р.) — польский работающий учёный-теоретик, в Великобритании. [1] [2]
Квятковска — профессор вычислительных систем. [3] на факультете компьютерных наук , Оксфордского университета Англия, [4] и член Тринити -колледжа в Оксфорде . [5] Ее исследования сосредоточены на разработке методов моделирования и автоматизированной проверки вычислительных систем, чтобы гарантировать безопасную, надежную, своевременную и ресурсоэффективную работу. [6] [7]
Образование [ править ]
Квятковска получила степени бакалавра наук и магистра наук в области компьютерных наук с отличием с отличием в Ягеллонском университете в Кракове , Польша. Она получила степень доктора компьютерных наук в Университете Лестера в 1989 году. [8] [9]
и исследования Карьера
После получения докторской степени Квятковская работала доцентом Ягеллонского университета (1980–1988); научный сотрудник и преподаватель компьютерных наук в Лестерском университете (1984–1994); преподаватель информатики , читатель по семантике параллелизма 1994–2007 и профессор информатики ( Бирмингемского университета ). Поступив в Оксфордский университет в 2007 году, Квятковска стала первой женщиной-профессором на факультете компьютерных наук и теперь возглавляет исследовательскую тему «Автоматическая проверка» . [10] [11]
Исследования Квятковской разрабатывают модели и методы анализа сложных систем, например, компьютерных сетей, биологических организмов и электронных устройств. [12] [13] [14] Квятковска руководила разработкой средства PRISM проверки вероятностных моделей ; [6] [15] PRISM был загружен более 79 000 раз, и существует более 400 статей внешних исследовательских групп, использующих PRISM (по состоянию на январь 2021 г.). [16] [17]
Недавняя работа Квятковской, которая сыграла важную роль в разработке вероятностных и количественных методов проверки на международной арене, включает синтез на основе количественных спецификаций с упором на безопасность и надежность машинного обучения и искусственного интеллекта . [6] [18] Член «Рабочой группы по ответственному ИИ» Глобального партнерства по искусственному интеллекту (GPAI) и « Королевского общества , Квятковска выступает за ответственное внедрение надежного ИИ. Рабочой группы по цифровым технологиям и планете» [19] [20]
Будучи старшим членом OxWoCS , [21] участник саммита Perspektywy Women in Tech и советник премии Suffrage Science Award (2016), [22] Квятковска призывает женщин делать карьеру в науке.
Квятковская является членом редакционной коллегии журнала «Информация и вычисления» . [23] Формальные методы проектирования систем , [24] Логические методы в информатике , [25] Наука компьютерного программирования [26] и Открытая наука Королевского общества . [27]
Проекты [ править ]
- FUN2MODEL: от автоматизированного вероятностного рассуждения на основе FUNction к автоматизированному вероятностному рассуждению на основе MOdel для глубокого обучения (2019–2024 гг.), Расширенный грант Европейского исследовательского совета (ERC).
- Мобильная автономия: обеспечение повсеместной технологии будущего (2015–2021 гг.), Грант программы Совета по исследованиям в области инженерных и физических наук ( EPSRC ) ( co-I ).
Избранные доклады и лекции [ править ]
- « Проверка вероятностной модели для мира, богатого данными » Лекция Лавлейс на BCS 2020, онлайн-мероприятие, май 2021 г.
- ' Проверка вероятностной модели для принятия решений на основе стратегического равновесия ' Конференция по принципам представления и рассуждения знаний ( KR 2020 ), онлайн-мероприятие, сентябрь 2020 г. '
- « Когда доверять беспилотному автомобилю…» — лекция на премию Милнера , ноябрь 2018 г.
- «Когда доверять роботу» – выступление на фестивале Hay 30 мая 2017 г.
- «Проверка моделей и синтез стратегий для стохастических игр: от теории к практике» – приглашенная лекция в Институте теории вычислений Саймонса , Калифорнийский университет в Беркли , октябрь 2016 г.
- «Мобильные автономные роботы» — приглашенная лекция на IntelliSys , сентябрь 2016 г.
Награды и почести [ править ]
- Сотрудник Европейской лаборатории обучения и интеллектуальных систем ( Общество ELLIS ), 2020 г. [28]
- Награждена медалью BCS Ады Лавлейс «за исследования в области вероятностной и количественной проверки». С 2001 года она руководила разработкой весьма влиятельной программы проверки вероятностных моделей PRISM', 2019. [29]
- Член Королевского общества (FRS), 2019 г. [30] [31]
- Стала первой женщиной-лауреатом Королевского общества Премии Милнера в знак признания «ее вклада в теоретическое и практическое развитие стохастической и количественной проверки моделей», 2018 г. [30]
- Совместно награждена премией HVC 2016 за «вклад в вероятностную проверку моделей и, в более общем плане, в формальную верификацию», 2016 г. [32]
Квятковская была удостоена звания почетного доктора KTH Королевского технологического института в 2014 году и является членом EATCS ACM , членом , членом BCS , членом Academia Europaea , членом Польского общества искусств и наук за рубежом , [33] [34] [35] [36] и член Американской академии искусств и наук . [37]
Личная жизнь [ править ]
Квятковская живет в Оксфорде со своим мужем, от которого у нее есть дочь. [ нужна ссылка ]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б Публикации Марты Квятковской , проиндексированные Google Scholar
- ^ Jump up to: Перейти обратно: а б Анон (2017). «Квятковская, профессор Марта Зофия» . Кто есть кто (онлайн- изд. Oxford University Press ). Оксфорд: A&C Black. дои : 10.1093/ww/9780199540884.013.U253926 . (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ «Марта Квятковская» . Кафедра компьютерных наук . Проверено 9 февраля 2021 г.
- ^ «Кафедра компьютерных наук: Марта Квятковская» . Проверено 28 мая 2017 г.
- ^ «Тринити-Колледж – Марта Квятковская» . Проверено 4 декабря 2017 г.
- ^ Jump up to: Перейти обратно: а б с Квятковская, Марта; Норман, Гетин; Паркер, Дэвид; Спростон, Джереми (2008), «Верификация вероятностных систем реального времени» , Моделирование и верификация систем реального времени , Лондон, Великобритания: ISTE, стр. 249–288, doi : 10.1002/9780470611012.ch8 , ISBN 978-0-470-61101-2 , получено 9 февраля 2021 г.
- ^ «Кафедра компьютерных наук: Марта Квятковска - Обзор исследования» . cs.ox.ac.uk. Проверено 9 февраля 2021 г.
- ^ Квятковская, Марта Зофия (1989). Справедливость для нечередующегося параллелизма . le.ac.uk (кандидатская диссертация). Университет Лестера. hdl : 2381/8809 . EThOS uk.bl.ethos.521489 .
- ^ «Проф. Марта Квятковска – AcademiaNet» . Проверено 4 декабря 2017 г.
- ^ «О кафедре информатики» . www.cs.ox.ac.uk. Проверено 18 января 2024 г.
- ^ «Кафедра компьютерных наук – тема научной работы: Автоматизированная верификация» . www.cs.ox.ac.uk. Проверено 9 февраля 2021 г.
- ^ Хит, Джон; Квятковская, Марта; Норман, Гетин; Паркер, Дэвид; Тимчишин, Оксана (2008). «Вероятностная проверка моделей сложных биологических путей» . Теоретическая информатика . 391 (3): 239–257. дои : 10.1016/j.tcs.2007.11.013 . ISSN 0304-3975 . S2CID 2386035 .
- ^ Хуан, Сяовэй; Квятковская, Марта; Ван, Сен; Ву, Мин (2017), «Проверка безопасности глубоких нейронных сетей» , Компьютерная проверка , Конспекты лекций по информатике, том. 10426, Чам: Springer International Publishing, стр. 3–29, arXiv : 1610.06940 , doi : 10.1007/978-3-319-63387-9_1 , ISBN 978-3-319-63386-2 , S2CID 11626373 , получено 9 февраля 2021 г.
- ^ Дюфло, Мари; Квятковская, Марта; Норман, Гетин; Паркер, Дэвид (5 июля 2006 г.). «Формальный анализ обнаружения устройств Bluetooth» . Международный журнал по программным инструментам для трансфера технологий . 8 (6): 621–632. дои : 10.1007/s10009-006-0014-x . ISSN 1433-2779 . S2CID 8454983 .
- ^ «ПРИЗМА — Вероятностная символьная проверка моделей» . www.prismmodelchecker.org . Проверено 9 февраля 2021 г.
- ^ «prismmodelchecker.org» . prismmodelchecker.org . Проверено 9 февраля 2021 г.
- ^ «Внешняя библиография ПРИЗМЫ» . Программа проверки моделей PRISM . Проверено 9 февраля 2021 г.
- ^ Ву, Мин; Квятковская, Марта (июнь 2020 г.). «Гарантии устойчивости глубоких нейронных сетей на видео» . Конференция IEEE/CVF 2020 года по компьютерному зрению и распознаванию образов (CVPR) . IEEE. стр. 308–317. arXiv : 1907.00098 . дои : 10.1109/cvpr42600.2020.00039 . ISBN 978-1-7281-7168-5 . S2CID 195767577 .
- ^ «Ответственный ИИ – ГПАИ» . gpai.ai . Проверено 11 февраля 2021 г.
- ^ «Цифровые технологии и планета | Королевское общество» . royalsociety.org . Проверено 11 февраля 2021 г.
- ^ «Комитет OxWoCS» . www.cs.ox.ac.uk. Проверено 15 февраля 2021 г.
- ^ MRC Лондонского института медицинских наук (7 октября 2016 г.). «Избирательное право, математика и информатика, 2016» . Иссуу . Проверено 15 февраля 2021 г.
- ^ Информация и вычисления .
- ^ «Формальные методы проектирования систем» . Спрингер . Проверено 11 февраля 2021 г.
- ^ «Логические методы в информатике – Редколлегия» . lmcs.episciences.org . Проверено 11 февраля 2021 г.
- ^ Наука компьютерного программирования .
- ^ «Редакционная коллегия | Королевское общество открытой науки» . royalsocietypublishing.org . Проверено 11 февраля 2021 г.
- ^ Уильямс, Джонатан. «Товарищи» . Европейская лаборатория обучения и интеллектуальных систем . Проверено 9 февраля 2021 г.
- ^ «Лекция BCS Lovelace 2020/21 - профессор Марта Квятковска» . bcs.org . Проверено 9 февраля 2021 г.
- ^ Jump up to: Перейти обратно: а б «Марта Квятковская | Королевское общество» . royalsociety.org . Проверено 9 февраля 2021 г.
- ^ «Выдающиеся ученые избраны научными сотрудниками и иностранными членами Королевского общества | Королевское общество» . royalsociety.org . Проверено 9 февраля 2021 г.
- ^ «HVC 2016 – Хайфская конференция по проверке 2016» . www.research.ibm.com . 4 сентября 2011 года . Проверено 9 февраля 2021 г.
- ^ «Почетные врачи КТХ» . КТХ . Проверено 11 февраля 2021 г.
- ^ «О стипендиатах ACM» . Награды.acm.org . Проверено 9 февраля 2021 г.
- ^ «Стипендиаты EATCS» . Европейская ассоциация теоретической информатики . Проверено 9 февраля 2021 г.
- ^ «Академия Европы: Квятковская Марта» . ae-info.org . Проверено 11 февраля 2021 г.
- ^ «Новые участники» . Американская академия искусств и наук. 2023 . Проверено 21 апреля 2023 г.
Внешние ссылки [ править ]
- 1957 рождений
- Живые люди
- Выпускники Ягеллонского университета
- Академический состав Ягеллонского университета
- Ученые Университета Лестера
- Академики Бирмингемского университета
- Члены кафедры компьютерных наук Оксфордского университета
- Члены Европейской академии
- Стипендиаты Тринити-колледжа, Оксфорд
- Британские ученые-компьютерщики
- Британские женщины-компьютерщики
- Британские люди польского происхождения
- Формальные методы люди
- Женщины-логики
- Польские женщины-компьютерщики
- Польские компьютерщики
- Польские женщины-ученые
- Члены Ассоциации вычислительной техники 2016 г.
- Члены Королевского общества
- Женщины-члены Королевского общества
- Члены Американской академии искусств и наук