Martę Kwiatkowską

Martę Kwiatkowską FRS MAE
Kwiatkowskiej w 2018 roku
Urodzić się	Marta Zofia Kwiatkowska 1957 (65-66 lat)
Narodowość	Polski
Obywatelstwo	brytyjski
Alma Mater	Uniwersytet Jagielloński (licencjat, mgr) Uniwersytet w Leicester (doktorat)
Nagrody	Medal BCS Lovelace (2019) Nagroda Milnera (2018) Stypendysta ACM (2016)
Kariera naukowa
Pola	Informatyka Automatyczna weryfikacja Probabilistyczne sprawdzanie modeli ilościowych
Instytucje	Uniwersytet Oksfordzki Uniwersytet w Birmingham Uniwersytet w Leicesterze Uniwersytet Jagielloński
Praca dyplomowa	Uczciwość dla współbieżności bez przeplatania (1989)
Strona internetowa	cs.ox.ac.uk/marta.kwiatkowska _ _ _ _ _

Marta Zofia Kwiatkowska FRS MAE jest polskim informatykiem teoretycznym mieszkającym w Wielkiej Brytanii.

Kwiatkowska jest profesorem systemów komputerowych na Wydziale Informatyki Uniwersytetu Oksfordzkiego w Anglii oraz członkiem Trinity College w Oksfordzie . Jej badania koncentrują się na opracowywaniu technik modelowania i automatycznej weryfikacji systemów komputerowych w celu zagwarantowania bezpiecznego, niezawodnego, terminowego i efektywnego pod względem zasobów działania.

Edukacja

Kwiatkowska uzyskała tytuł licencjata i magistra informatyki z wyróżnieniem z wyróżnieniem na Uniwersytecie Jagiellońskim w Krakowie . Uzyskała doktorat z informatyki na Uniwersytecie w Leicester w 1989 roku.

Kariera i badania

Po uzyskaniu doktoratu Kwiatkowska była adiunktem na Uniwersytecie Jagiellońskim w Krakowie (1980–1988) ; pracownik naukowy i wykładowca informatyki na Uniwersytecie w Leicester (1984–1994); i wykładowca informatyki , czytelnik Semantics for Concurrency oraz profesor informatyki na Uniwersytecie w Birmingham (1984–2007) . Dołączenie do Uniwersytetu Oksfordzkiego w 2007 roku Kwiatkowska była pierwszą kobietą profesorem na Wydziale Informatyki , a obecnie kieruje tematyką badawczą Automatycznej Weryfikacji .

Badania Kwiatkowskiej opracowują modele i metody analizy złożonych systemów, jakie można znaleźć w sieciach komputerowych, organizmach biologicznych i urządzeniach elektronicznych. Kwiatkowska kierowała rozwojem sprawdzania modeli probabilistycznych PRISM ; PRISM został pobrany ponad 79 000 razy i istnieje ponad 400 artykułów autorstwa zewnętrznych zespołów badawczych korzystających z PRISM (stan na styczeń 2021 r.).

Niedawne prace Kwiatkowskiej, odgrywające kluczową rolę w rozwoju probabilistycznych i ilościowych metod weryfikacji na arenie międzynarodowej, obejmują syntezę specyfikacji ilościowych z naciskiem na bezpieczeństwo i solidność uczenia maszynowego i sztucznej inteligencji. Członek Global Partnership on Artificial Intelligence (GPAI) „Responsible AI Working Group” oraz Royal Society’s „Digital Technology and the Planet Working Group”, Kwiatkowska opowiada się za odpowiedzialnym przyjęciem godnej zaufania sztucznej inteligencji.

Jako starszy członek OxWoCS , współtwórca Perspektywy Women in Tech Summit i doradca Suffrage Science Award (2016), Kwiatkowska zachęca kobiety do kariery naukowej.

Kwiatkowska zasiada w radach redakcyjnych Information and Computation , Formal Methods in System Design , Logical Methods in Computer Science , Science of Computer Programming i Royal Society's Open Science .

Obecne projekty

• FUN2MODEL: Od zautomatyzowanego wnioskowania probabilistycznego opartego na FUNction TO MOdel do DEep Learning (2019-2024), grant Europejskiej Rady ds. Badań Naukowych (ERBN) dla zaawansowanych.
• Mobile Autonomy: Enabling a Pervasive Technology of the Future (2015–2021), grant programowy Rady ds. Badań nad Inżynierią i Naukami Fizycznymi ( EPSRC ) ( co-I ).

Wybrane referaty i wykłady

• „ Probabilistic Model Checking for the Data-Rich World ” BCS 2020 Wykład Lovelace, wydarzenie on-line, maj 2021 r.
• „ Probabilistic Model Checking for Strategic Equilibria-Based Decision Making ” Konferencja na temat zasad reprezentacji wiedzy i wnioskowania, ( KR 2020 ), wydarzenie on-line, wrzesień 2020 r. „
• „ Kiedy zaufać samojezdnemu samochodowi...” — wykład z nagrodą Milner Award , listopad 2018 r.
• „Kiedy ufać robotowi” – ​​wykład Hay Festival 30 maja 2017 r.
• „Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice” – wykład na zaproszenie w Simons Institute for the Theory of Computing , UC Berkeley , październik 2016.
• „Mobile Autonomous Robots” – wykład na zaproszenie IntelliSys , wrzesień 2016.

Nagrody i wyróżnienia

• Stypendysta Europejskiego Laboratorium Systemów Uczenia się i Inteligentnych ( Stowarzyszenie ELLIS ), 2020.
• Odznaczona medalem BCS Ada Lovelace za „badania w zakresie weryfikacji probabilistycznej i ilościowej”. Od 2001 roku kieruje rozwojem bardzo wpływowego sprawdzania modeli probabilistycznych PRISM”, 2019.
• Członek Towarzystwa Królewskiego , (FRS), 2019.
• Została pierwszą kobietą zdobywczynią nagrody Royal Society Milner Award w uznaniu „jej wkładu w teoretyczny i praktyczny rozwój stochastycznego i ilościowego sprawdzania modeli”, 2018.
• Wspólnie nagrodzona nagrodą HVC 2016 za „wkład w sprawdzanie modeli probabilistycznych i bardziej ogólnie w weryfikację formalną”, 2016.

Kwiatkowska otrzymała tytuł doktora honoris causa Królewskiego Instytutu Technologii KTH w 2014 roku i jest członkiem ACM , EATCS , BCS , członkiem Academia Europaea oraz Polskiego Towarzystwa Naukowego za Granicą .

Życie osobiste

Kwiatkowska mieszka w Oksfordzie z mężem, z którym ma córkę.

Linki zewnętrzne

• Strona główna Uniwersytetu Oksfordzkiego Kwiatkowskiej
• Strona domowa Trinity College Kwiatkowskiej