Марта Квятковска - Marta Kwiatkowska

Марта Квятковска ФРС MAE
Родившийся	Марта Зофия Квятковска 1957 (62–63 года)[1]
Национальность	Польский
Гражданство	Британский
Альма-матер	Ягеллонский университет (Бакалавр, Магистр) Университет Лестера (Кандидат наук)
Награды	Медаль BCS Lovelace (2019) Премия Милнера (2018) Член ACM (2016)
Научная карьера
Поля	Информатика Автоматическая проверка Вероятностная количественная проверка модели[2]
Учреждения	Оксфордский университет Бирмингемский университет Университет Лестера Ягеллонский университет
Тезис	Справедливость для параллелизма без чередования  (1989)
Интернет сайт	cs.ox.ac.Великобритания/ Марта.kwiatkowska

Марта Зофия Квятковска ФРС MAE это Польский теоретический специалист в области информатики базируется в Соединенном Королевстве.^[2][1] Она профессор вычислительной техники в Департамент компьютерных наук на Оксфордский университет, Англия,^[3] и Парень из Тринити-колледж, Оксфорд.^[4]

Образование

Квятковская приняла ее Бакалавр и Магистр естественных наук степени в Информатика с отличием с отличием из Ягеллонский университет в Краков, Польша. Она получила докторскую степень в Информатика от Университет Лестера в 1989 г.^[5][6]

Карьера и исследования

Между получением ее Бакалавр /Магистр и ее назначение профессором вычислительных систем в Оксфордский университет в 2007 году Квятковская занимала следующие должности.^[6]

• Доцент, Ягеллонский университет, Краков, Польша (1980–1988)
• Ученый-исследователь, Университет Лестера (1984–1986)
• Лектор в Информатика, Университет Лестера (1986–1994)
• Лектор в Информатика, Бирмингемский университет (1994–1998)
• Читатель в Семантика за Параллелизм, Бирмингемский университет (1998–2001)
• Профессор Информатика, Бирмингемский университет (2001–2007)

Основное внимание в ее исследованиях за последние несколько лет уделялось моделированию и проверка вероятностных систем, в частности вероятностных проверка модели техники. Она вела разработка первой и ведущей в мире вероятностной символической модель проверки ПРИЗМА,^[7] считается ориентиром для исследований в этой области.^{[нужна цитата ]}

Квятковская обслуживает редакции из нескольких журналы, включая Информация и вычисления, Формальные методы в системном дизайне, Логические методы в информатике, Наука компьютерного программирования и Королевское общество с Открытая наука. Ее исследование было поддержано даровать финансирование от EPSRC, ERC, ЕВРОПА, DARPA, и Microsoft Research Кембридж, включая престижные гранты ERC Advanced Grant VERIWARE и EPSRC Program Grant on Mobile Autonomy.^[8]

Квятковска в настоящее время работает заместителем начальника отдела (отвечает за исследования) в Департамент компьютерных наук в Оксфорд, и была первой женщиной-профессором кафедры (присоединилась к 2007 г.). Она является руководителем исследовательской темы Automated Verification.

Проекты

• Мобильная автономия (2015–2020 гг.), ERC грант программы.
• AFFECTech (2017–2020 гг.), Финансируется ЕС Горизонт2020 исследования и инновации программа.

Избранные предыдущие исследовательские проекты

• VERIWARE: от проверки ПО до проверки «всякого ПО».
• VERIPACE: Инструменты для разработки, анализа и синтеза программного обеспечения для кардиостимулятора.
• Прогнозируемые программные системы.
• CONNECT-IP: новые соединители для вечных программно-интенсивных сетевых систем.
• Автоматическая количественная проверка программного обеспечения с ПРИЗМА.
• UbiVal: фундаментальные подходы к проверке повсеместных вычислительных приложений и инфраструктур.
• Формирование международного сообщества Grand Challenge для повсеместных вычислений.
• Прогностическое моделирование сигнальных путей посредством проверки вероятностной модели с ПРИЗМА.
• Автоматическая проверка вероятностных протоколов с ПРИЗМА.
• Проверка вероятностной модели протоколов мобильной сети Ad Hoc.
• Проверка качества обслуживания в синхронизированных системах.
• Автоматическая проверка рандомизированных распределенных алгоритмов.

Заметные вклады

• Введены вероятностные / количественные проверка модели на международной арене и возглавил ее переход от теории к практике.
• Руководил разработкой ПРИЗМА, ведущий в мире вероятностный модель проверки считается ориентиром для исследований в этой области, которые были загружены более 60 000^[9] раз и выиграл премию HVC 2016.^[10]
• Сформулированы и реализованы новые основы для: семантических моделей вероятностных систем; проверка для вероятностных синхронизированные автоматы и вероятностное программное обеспечение; многоцелевой проверка модели для вероятностных систем; проверка программного обеспечения за сенсорные сети; количественный многоцелевой проверка и синтез контроллера для стохастические игры; количественный время выполнения и дополнительные проверка; и синтез параметров для вероятностных моделей.
• Разработаны обширные композиционные структуры предположений и гарантий для систем на основе компонентов, смоделированных как интерфейсные автоматы, а также количественная проверка и синтез стратегии для вероятностных систем.
• Прикладной вероятностный проверка и синтез широкого спектра реальных систем, обнаруживая недостатки в некоторых из них, включая Bluetooth протокол, надежность нанотехнологии конструкции и протокол управления спросом на интеллектуальные сети.
• Разработана обширная основанная на моделях структура для замкнутого цикла. проверка из кардиостимулятор модели против персонализированных сердце модели. Фреймворк поддерживает количественные проверка, персонализация и синтез оптимальной временной задержки для кардиостимулятор программного обеспечения.
• Впервые применена вероятностная проверка модели в системная биология прогнозировать количественные свойства FGF сигнальный путь, которые позже были подтверждены экспериментально.
• Расширенный и прикладной вероятностный проверка для автоматического поиска и диагностики ошибок в ДНК вычислительные конструкции, чтобы изучить вычислительный потенциал и проанализировать надежность Цепи ходока ДНК, и разработать прогнозную модель ДНК оригами складывание, которое служит «молекулярным макетом» для Цепи ДНК в статье, опубликованной в Природа.^[11]

Избранные доклады и лекции

• 'Когда доверять роботу' – Hay Festival поговорить 30 мая 2017 г.
• «Проверка безопасности глубоких нейронных сетей» - приглашенная беседа на Компьютерная проверка (CAV) 2017.
• «Проверка моделей и синтез стратегии для стохастических игр: от теории к практике» - приглашенная лекция в Институт теории вычислений Саймонса, Калифорнийский университет в Беркли, Октябрь 2016 г.
• "Мобильные автономные роботы" - приглашенная лекция в IntelliSys, сентябрь 2016 г.
• Интервью на конференции SAI Computing 2016.
• «Оценка и проверка гибридных моделей сердца для персонализированных медицинских и носимых устройств» - программная лекция на CMSB 2015.
• «О количественном моделировании и проверке цепей Уокера ДНК с использованием стохастических сетей Петри» - программная лекция на Сети Петри 2015 / ACSD 2015.
• «Повсюду ощущения: о количественной проверке повсеместных вычислений» - Лекция ACCESS, прочитанная в KTH Королевский технологический институт в Стокгольме, ноябрь 2014 г., по данным 2012 г. Лекция Милнера, Эдинбургский университет.
• «Повсюду ощущения: о количественной проверке повсеместных вычислений» – 2012 Лекция Милнера, Эдинбургский университет, Сентябрь 2012 г.
• «Автоматизированная проверка и синтез стратегии для вероятностных систем» - программная лекция на ATVA 2013, Ханой, Вьетнам.
• «Моделирование и проверка для компьютерного моделирования сигнальных путей» - доклад на Algorithmic Bioprocesses 2007.
• «Проверка модели на вероятность и время: от теории к практике» - приглашенная беседа на LICS 2003, Оттава.
• Учебное пособие по проверке вероятностной модели в POPL 2015.
• Приглашенный учебник, 4-я летняя школа по формальным методам в Атертон, Калифорния, 2014.

Членство в комитетах

• Член, Премия Пресбургера, с 2016 года.
• Член, Компьютерная проверка (CAV) Наградной жюри, 2010 - 2014 гг.
• Стул, Европейский исследовательский совет (ERC) Панель стартовых грантов (PE6), 2012-2016 гг.
• Член, Рамки передового опыта в исследованиях (REF) 2014 Подпанель 11 (Информатика и Информатика ).
• Член, Королевское общество Дороти Ходжкин Группа стипендий, с 2012 года.
• Член, Вена Панель Фонда научных технологий, 2012 и 2015 гг.
• Член, голландский Информатика Экспертная комиссия, 2009 г.

Награды и почести

• Избран Член Королевского общества (ФРС) в 2019 году.
• Премия Милнера 2018.
• Сотрудник Европейская ассоциация теоретической информатики (EATCS), избран в 2017 г.
• Сотрудник Ассоциация вычислительной техники (ACM), избранный в 2016 г. за «фундаментальный вклад в теорию и практику вероятностной проверки и ее приложений».
• Конференция по проверке в Хайфе Премия 2016 года, совместно с Дэйвом Паркером и Гетином Норманом, «за изобретение, разработку и поддержку средства проверки вероятностных моделей PRISM».
• почетный доктор, KTH Королевский технологический институт, 2014, награжден как «движущая сила развития вероятностных и количественных методов в информатике».
• Избран, чтобы прочитать лекцию Милнера в 2012 г. Эдинбургский университет, награжден за «отличную и оригинальную теоретическую работу, имеющую значение для практических вычислений».
• Член Academia Europaea (MAE), избран в 2011 г.^[12]
• Сотрудник Британское компьютерное общество (BCS), избран в 2008 г.

Личная жизнь

Квятковская живет в Оксфорд с мужем, от которого у нее есть дочь.^{[нужна цитата ]}

Рекомендации

1. Анон (2017). "Квятковская, проф. Марта Зофия". Кто есть кто. ukwhoswho.com (онлайн Oxford University Press ред.). A&C Black, отпечаток Bloomsbury Publishing plc. Дои:10.1093 / ww / 9780199540884.013.U253926. (подписка или Членство в публичной библиотеке Великобритании требуется) (требуется подписка)
2. Марта Квятковска публикации, проиндексированные Google ученый
3. «Кафедра компьютерных наук: Марта Квятковска». Получено 28 мая 2017.
4. «Тринити-колледж - Марта Квятковская». Получено 4 декабря 2017.
5. Квятковская, Марта Зофия (1989). Справедливость для параллелизма без чередования. le.ac.uk (Кандидатская диссертация). Университет Лестера. HDL:2381/8809. EThOS  uk.bl.ethos.521489.
6. "Проф. Марта Квятковска - AcademiaNet". Получено 4 декабря 2017.
7. «ПРИЗМА - Люди». Получено 4 декабря 2017.
8. «Кафедра компьютерных наук: Марта Квятковска - биография». Получено 6 декабря 2017.
9. «ПРИЗМА - Скачать». Получено 6 декабря 2017.
10. «HVC 2016 - Хайфская конференция по верификации 2016». 4 сентября 2011 г.. Получено 6 декабря 2017.
11. Бат, Джонатан; Турберфилд, Эндрю Дж .; Квятковская, Марта; Ouldridge, Thomas E .; Данненберг, Фриц; Данн, Кэтрин Э. (сентябрь 2015 г.). «Журнал природы - Руководство по пути сворачивания ДНК оригами». Природа. 525 (7567): 82–86. Дои:10.1038 / природа14860. HDL:10044/1/29005. PMID  26287459. S2CID  4396888.
12. "Академия Европы: Квятковская Марта". www.ae-info.org. Получено 20 апреля 2020.

внешняя ссылка

• Домашняя страница Оксфордского университета Квятковской
• Домашняя страница Тринити-колледжа Квятковской