Марта Квятковска

От / / Оставьте комментарий

Оглавление1 Марта Квятковска1.1 Биография и образование1.2 Карьера и научные исследования1.3 Основные достижения1.4 Членство и награды1.5 Личная жизнь1.6 Полный текст статьи:2 […]

'1957 рождений', 'Академики Бирмингемского университета', 'Академический состав Ягеллонского университета', 'Британские женщины-компьютерщики', 'Британские люди польского происхождения', 'Британские ученые-компьютерщики', 'Выпускники Ягеллонского университета', 'Женщины-логики', 'Женщины-члены Королевского общества', 'Живые люди', 'Польские женщины-компьютерщики', 'Польские женщины-ученые', 'Польские компьютерщики', 'Стипендиаты Тринити-колледжа, 'Ученые Университета Лестера', 'Формальные методы люди', 'Члены Американской академии искусств и наук', 'Члены Ассоциации вычислительной техники 2016 г.', 'Члены Европейской академии', 'Члены кафедры компьютерных наук Оксфордского университета', 'Члены Королевского общества', 1957 births, 2016 Fellows of the Association for Computing Machinery, Academic staff of Jagiellonian University, Academics of the University of Birmingham, Academics of the University of Leicester, British computer scientists, British people of Polish descent, British women computer scientists, Fellows of the American Academy of Arts and Sciences, Fellows of the Royal Society, Fellows of Trinity College, Female Fellows of the Royal Society, Formal methods people, Jagiellonian University alumni, Living people, Members of Academia Europaea, Members of the Department of Computer Science, Oxford, Polish computer scientists, Polish women academics, Polish women computer scientists, University of Oxford, Women logicians, Оксфорд'

Марта Квятковска

  • Биография и образование

    • Марта Зофья Квятковска родилась в 1957 году в Польше.  
    • Получила степени бакалавра и магистра в Ягеллонском университете.  
    • В 1989 году получила степень доктора философии в Лестерском университете.  

  • Карьера и научные исследования

    • Работала ассистентом профессора в Ягеллонском университете (1980-1988).  
    • Была научным сотрудником и преподавателем в Лестерском университете (1984-1994).  
    • Преподавала и была профессором в Бирмингемском университете (1994-2007).  
    • С 2007 года работает в Оксфордском университете, где возглавляет исследовательскую тему автоматизированной верификации.  

  • Основные достижения

    • Разработала программу проверки вероятностных моделей PRISM, загруженную более 79 000 раз.  
    • Внесла вклад в разработку вероятностных и количественных методов верификации.  
    • Участвовала в разработке методов для машинного обучения и искусственного интеллекта.  

  • Членство и награды

    • Член Европейской лаборатории обучения и интеллектуальных систем (ELLIS Society).  
    • Награждена медалью Ады Лавлейс и премией Милнера.  
    • Член Королевского общества (ФРС) и Американской академии искусств и наук.  

  • Личная жизнь

    • Живет в Оксфорде с мужем и дочерью.  

Полный текст статьи:

Марта Квятковска

Нет связанных сообщений

Оставьте комментарий

Прокрутить вверх