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

Марта Квятковска Биография и образование Марта Зофья Квятковска родилась в 1957 году в Польше.   Получила степени бакалавра и магистра в […]

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

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

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

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

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

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

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

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

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

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

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