Marta Kwiatkowska

Marta Kwiatkowska
FRS MAE
Kwiatkowska in 2018
Born
Marta Zofia Kwiatkowska

1957 (age 67–68)[2]
NationalityPolish
CitizenshipBritish
Alma mater
Awards
Scientific career
Fields
Institutions
ThesisFairness for non-interleaving concurrency (1989)
Websitecs.ox.ac.uk/marta.kwiatkowska

Marta Zofia Kwiatkowska FRS MAE (born 1957) is a Polish theoretical computer scientist based in the United Kingdom.[1][2]

Kwiatkowska is Professor of Computing Systems[3] in the Department of Computer Science at the University of Oxford, England,[4] and a Fellow of Trinity College, Oxford.[5] Her research focuses on developing modelling and automated verification techniques for computing systems in order to guarantee safe, secure, reliable, timely and resource-efficient operation.[6][7]

Education

Kwiatkowska received her Bachelor of Science and Master of Science degrees in Computer Science with distinction summa cum laude from Jagiellonian University in Kraków, Poland. She obtained her PhD in Computer Science from the University of Leicester in 1989.[8][9]

Career and research

After obtaining her PhD, Kwiatkowska was assistant professor at Jagiellonian University, (1980–1988); research scholar and lecturer in Computer Science at University of Leicester (1984–1994); and lecturer in Computer Science, reader in Semantics for Concurrency, and professor of Computer Science at University of Birmingham (1994–2007). Joining the University of Oxford in 2007, Kwiatkowska was the first female professor in the Department of Computer Science and now heads the Automated Verification research theme.[10][11]

Kwiatkowska's research develops models and analysis methods for complex systems, as found in computer networks, biological organisms and electronic devices.[12][13][14] Kwiatkowska led development of the PRISM probabilistic model checker;[6][15] PRISM has been downloaded over 79,000 times and there are over 400 papers by external research teams using PRISM (as at January 2021).[16][17]

Instrumental in the development of probabilistic and quantitative methods in verification on the international scene, Kwiatkowska’s recent work incorporates synthesis from quantitative specifications with a focus on safety and robustness for machine learning and AI.[6][18] A member of the Global Partnership on Artificial Intelligence (GPAI) 'Responsible AI Working Group', and the Royal Society's 'Digital Technology and the Planet Working Group', Kwiatkowska advocates responsible adoption of trustworthy AI.[19][20]

As a senior member of OxWoCS,[21] contributor to the Perspektywy Women in Tech Summit and adviser to the Suffrage Science Award (2016),[22] Kwiatkowska encourages women to pursue careers in science.

Kwiatkowska serves on the editorial boards of Information and Computation,[23] Formal Methods in System Design,[24] Logical Methods in Computer Science,[25] Science of Computer Programming[26] and the Royal Society's Open Science.[27]

Projects

  • FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning (2019–2024), a European Research Council (ERC) Advanced Grant.
  • Mobile Autonomy: Enabling a Pervasive Technology of the Future (2015–2021), an Engineering and Physical Sciences Research Council (EPSRC) Programme Grant (co-I).

Selected talks and lectures

Awards and honours

  • Fellow of the European Laboratory for Learning and Intelligent Systems (ELLIS Society), 2020.[28]
  • Awarded the BCS Ada Lovelace Medal for 'her research in probabilistic and quantitative verification. Since 2001 she has led the development of the highly influential probabilistic model checker PRISM', 2019.[29]
  • Fellow of the Royal Society, (FRS), 2019.[30][31]
  • Became the first female winner of the Royal Society Milner Award in recognition of ‘her contribution to the theoretical and practical development of stochastic and quantitative model checking’, 2018.[30]
  • Jointly awarded the HVC 2016 Award for her ‘contributions to probabilistic model checking and, more generally, to formal verification’, 2016.[32]

Kwiatkowska was awarded an Honorary Doctorate at the KTH Royal Institute of Technology in 2014, and is Fellow of ACM, Fellow of EATCS, Fellow of the BCS, a member of Academia Europaea, Fellow of Polish Society of Arts & Sciences Abroad,[33][34][35][36] and member of the American Academy of Arts and Sciences.[37]

Personal life

Kwiatkowska lives in Oxford with her husband, with whom she has a daughter.[citation needed]

References

  1. ^ a b Marta Kwiatkowska publications indexed by Google Scholar Edit this at Wikidata
  2. ^ a b Anon (2017). "Kwiatkowskia, Prof. Marta Zofia". Who's Who (online Oxford University Press ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.U253926. (Subscription or UK public library membership required.)
  3. ^ "Marta Kwiatkowska". Department of Computer Science. Retrieved 9 February 2021.
  4. ^ "Department of Computer Science: Marta Kwiatkowska". Retrieved 28 May 2017.
  5. ^ "Trinity College – Marta Kwiatkowska". Retrieved 4 December 2017.
  6. ^ a b c Kwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy (2008), "Verification of Real-Time Probabilistic Systems", Modeling and Verification of Real-Time Systems, London, UK: ISTE, pp. 249–288, doi:10.1002/9780470611012.ch8, ISBN 978-0-470-61101-2, retrieved 9 February 2021
  7. ^ "Department of Computer Science: Marta Kwiatkowska - Research Overview". cs.ox.ac.uk. Retrieved 9 February 2021.
  8. ^ Kwiatkowska, Marta Zofia (1989). Fairness for non-interleaving concurrency. le.ac.uk (PhD thesis). University of Leicester. hdl:2381/8809. EThOS uk.bl.ethos.521489. Free access icon
  9. ^ "Prof. Marta Kwiatkowska – AcademiaNet". Retrieved 4 December 2017.
  10. ^ "About the Department of Computer Science". www.cs.ox.ac.uk. Retrieved 18 January 2024.
  11. ^ "Department of Computer Science - research theme: Automated Verification". www.cs.ox.ac.uk. Retrieved 9 February 2021.
  12. ^ Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana (2008). "Probabilistic model checking of complex biological pathways". Theoretical Computer Science. 391 (3): 239–257. doi:10.1016/j.tcs.2007.11.013. ISSN 0304-3975. S2CID 2386035.
  13. ^ Huang, Xiaowei; Kwiatkowska, Marta; Wang, Sen; Wu, Min (2017), "Safety Verification of Deep Neural Networks", Computer Aided Verification, Lecture Notes in Computer Science, vol. 10426, Cham: Springer International Publishing, pp. 3–29, arXiv:1610.06940, doi:10.1007/978-3-319-63387-9_1, ISBN 978-3-319-63386-2, S2CID 11626373, retrieved 9 February 2021
  14. ^ Duflot, Marie; Kwiatkowska, Marta; Norman, Gethin; Parker, David (5 July 2006). "A formal analysis of bluetooth device discovery". International Journal on Software Tools for Technology Transfer. 8 (6): 621–632. doi:10.1007/s10009-006-0014-x. ISSN 1433-2779. S2CID 8454983.
  15. ^ "PRISM - Probabilistic Symbolic Model Checker". www.prismmodelchecker.org. Retrieved 9 February 2021.
  16. ^ "prismmodelchecker.org". prismmodelchecker.org. Retrieved 9 February 2021.
  17. ^ "External PRISM Bibliography". PRISM Model Checker. Retrieved 9 February 2021.
  18. ^ Wu, Min; Kwiatkowska, Marta (June 2020). "Robustness Guarantees for Deep Neural Networks on Videos". 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE. pp. 308–317. arXiv:1907.00098. doi:10.1109/cvpr42600.2020.00039. ISBN 978-1-7281-7168-5. S2CID 195767577.
  19. ^ "Responsible AI - GPAI". gpai.ai. Retrieved 11 February 2021.
  20. ^ "Digital technology and the planet | Royal Society". royalsociety.org. Retrieved 11 February 2021.
  21. ^ "OxWoCS Committee". www.cs.ox.ac.uk. Retrieved 15 February 2021.
  22. ^ MRC London Institute of Medical Sciences (7 October 2016). "Suffrage Science Maths and Computing 2016". Issuu. Retrieved 15 February 2021.
  23. ^ Information and Computation.
  24. ^ "Formal Methods in System Design". Springer. Retrieved 11 February 2021.
  25. ^ "Logical Methods in Computer Science - Editorial Board". lmcs.episciences.org. Retrieved 11 February 2021.
  26. ^ Science of Computer Programming.
  27. ^ "Editorial board | Royal Society Open Science". royalsocietypublishing.org. Retrieved 11 February 2021.
  28. ^ Williams, Jonathan. "Fellows". European Lab for Learning & Intelligent Systems. Retrieved 9 February 2021.
  29. ^ "BCS Lovelace Lecture 2020/21 - Prof Marta Kwiatkowska". bcs.org. Retrieved 9 February 2021.
  30. ^ a b "Marta Kwiatkowska | Royal Society". royalsociety.org. Retrieved 9 February 2021.
  31. ^ "Distinguished scientists elected as Fellows and Foreign Members of the Royal Society | Royal Society". royalsociety.org. Retrieved 9 February 2021.
  32. ^ "HVC 2016 - Haifa Verification Conference 2016". research.ibm.com. 4 September 2011. Retrieved 9 February 2021.
  33. ^ "Honorary doctors at KTH". KTH. Retrieved 11 February 2021.
  34. ^ "About ACM Fellows". awards.acm.org. Retrieved 9 February 2021.
  35. ^ "EATCS Fellows". European Association for Theoretical Computer Science. Retrieved 9 February 2021.
  36. ^ "Academy of Europe: Kwiatkowska Marta". ae-info.org. Retrieved 11 February 2021.
  37. ^ "New members". American Academy of Arts and Sciences. 2023. Retrieved 21 April 2023.

Read other articles:

Nibbiola

Nibbiola commune di Italia Tempat categoria:Articles mancats de coordenades Negara berdaulatItaliaRegion di ItaliaPiedmontProvinsi di ItaliaProvinsi Novara NegaraItalia Ibu kotaNibbiola PendudukTotal811  (2023 )GeografiLuas wilayah11,34 km² [convert: unit tak dikenal]Ketinggian133 m Berbatasan denganGarbagna Novarese Novara Terdobbiate Vespolate Granozzo con Monticello SejarahSanto pelindungKatarina dari Aleksandria Informasi tambahanKode pos28070 Zona waktuUTC+1 UTC+2 Kode telepon...

 

Luras

Luras Lùras, LùrisiKomuneComune di LurasLokasi Luras di Provinsi SassariNegara ItaliaWilayah SardiniaProvinsiSassari (SS)Pemerintahan • Wali kotaMaria Giuseppina CaredduLuas • Total87,59 km2 (33,82 sq mi)Ketinggian508 m (1,667 ft)Populasi (2016) • Total2,556[1]Zona waktuUTC+1 (CET) • Musim panas (DST)UTC+2 (CEST)Kode pos07025Kode area telepon079Situs webhttp://www.comune.luras.ss.it/ Luras (bahasa Sar...

 

عمر العرجون

عمر العرجون   معلومات شخصية الميلاد 1 فبراير 1996 (العمر 28 سنة)الدار البيضاء  الطول 1.70 م (5 قدم 7 بوصة) مركز اللعب لاعب وسط الجنسية مغربي الديانة مسلم معلومات النادي النادي الحالي نهضة بركان المسيرة الاحترافية1 سنوات فريق م. (هـ.) 2013–2016 الرجاء الرياضي 20 (1) 2014–2015 → ال...

Unione Sportiva Pro Vercelli 1923-1924

Voce principale: Football Club Pro Vercelli 1892. Unione Sportiva Pro VercelliStagione 1923-1924Sport calcio Squadra Pro Vercelli Allenatore Commissione tecnica[1] Presidente Luigi Bozino Prima Divisione3º posto nel girone B della Lega Nord. Maggiori presenzeCampionato: Ardissone, Bossola, Curti, Milano (22) Miglior marcatoreCampionato: Ardissone (11) StadioCampo piazza Conte di Torino 1922-1923 1924-1925 Si invita a seguire il modello di voce Questa pagina raccoglie i dati rig...

 

Tim nasional bola tangan Prancis

Logo tim nasional bola tangan Prancis Tim nasional bola tangan Prancis adalah tim bola tangan nasional Prancis yang mewakili Prancis dalam pertandingan internasional. Tim ini dikelola oleh French Handball Federation. Pelatih tim ini adalah Sylvain Nouet. Pranala luar Fédération française de handball, website in French Diarsipkan 2012-02-05 di Wayback Machine. Spanish Handball Diarsipkan 2017-10-10 di Wayback Machine. European Beach Handball community Handball files download Diarsipkan 2012...

 

Baton (military)

Military symbol You can help expand this article with text translated from the corresponding article in German. (January 2021) Click [show] for important translation instructions. View a machine-translated version of the German article. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into th...

خافيير سولانا

خافيير سولانا (بالإسبانية: Javier Solana)‏  الممثل السامي للاتحاد للشؤون الخارجية والسياسة الأمنية في المنصب18 أكتوبر 1999 – 1 ديسمبر 2009 يورغن ترومف كاثرين أشتون الأمين العام لمجلس الاتحاد الأوروبي في المنصب18 أكتوبر 1999 – 1 ديسمبر 2009 يورغن ترومبف بيير دي بواسو الأمين العام لاتحا...

 

コルク

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: コルク – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年4月） コルクを打ち抜いて作った瓶の栓 コルク（木栓、�...

 

Bowers v. Hardwick

Bowers v. HardwickMahkamah Agung Amerika SerikatDisidangkan pada 31 Maret, 1986Diputus pada 30 Juni, 1986Nama lengkap kasusMichael J. Bowers, Attorney General of Georgia v. Michael Hardwick, et al.Kutipan478 U.S. 186 (lanjut)106 S. Ct. 2841; 92 L. Ed. 2d 140; 1986 U.S. LEXIS 123; 54 U.S.L.W. 4919Versi sebelumnyaDitolakAmar putusanHukum sodomi di Georgia dianggap sah karena tidak ada hak konstitusional yang melindungi hubungan seks sesama jenis.Hakim yang memutusHakim KetuaHakim PembantuPendap...

Rack (billiards)

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Rack billiards – news · newspapers · books · scholar · JSTOR (January 2010) (Learn how and when to remove this message) Billiard balls in a rack A rack (sometimes called a triangle) is a piece of equipment that is used to place billiard balls in their star...

 

محور وطائي نخامي غدي تناسلي

المحور الوطائي النخامي الغدي التناسلي يشير المحور الوطائي النخامي التناسلي[1] (بالإنجليزية اختصارًا: HPG axis) إلى اجتماع الوطاء (تحت المهاد) والغدة النخامية والغدد التناسلية كما لو كانت هذه الغدد الصماء الفردية كيانًا واحدًا. إذ تعمل هذه الغدد غالبًا بتناسق فيما بينها، و�...

 

43rd Aeromedical Evacuation Squadron

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: 43rd Aeromedical Evacuation Squadron – news · newspapers · books · scholar · JSTOR (December 2012) (Learn how and when to remove this message) 43d Aeromedical Evacuation SquadronActive1997–2020Country United StatesBranch United States Air ForceRole...

Darfield, New Zealand

Town in Canterbury, New Zealand Minor urban area in Canterbury, New ZealandDarfieldMinor urban areaDarfield sign on New Zealand State Highway 73, the main street of DarfieldCoordinates: 43°29′S 172°07′E / 43.483°S 172.117°E / -43.483; 172.117CountryNew ZealandRegionCanterburyTerritorial authoritySelwyn DistrictWardMalvernCommunityMalvernElectoratesSelwynTe Tai Tonga (Māori)[1]Government • Territorial authoritySelwyn District Council �...

 

Tokopedia

PT TokopediaLogo TokopediaURLwww.tokopedia.comTipePerdaganganBersifat komersial?YaPendaftaranDiperlukan untuk menjual atau membeliBahasaIndonesia, InggrisPemilikGoTo (25%), TikTok (75%)PembuatWilliam Tanuwijaya dan Leontinus Alpha Edison Berdiri sejak17 Agustus 2009 NegaraIndonesia Peringkat Alexa144 (Dunia, September 2020[update])[1] 8 (Indonesia, September 2020[update])[1]StatusDaring PT Tokopedia merupakan perusahaan teknologi Indonesia dengan misi pemerataa...

 

Федюнинский, Иван Иванович

Иван Иванович Федюнинский Дата рождения 17 (30) июля 1900(1900-07-30) Место рождения деревня Гилёва, Успенская волость, Тюменский уезд, Тобольская губерния, Российская империя[1] Дата смерти 17 октября 1977(1977-10-17) (77 лет) Место смерти Москва, РСФСР, СССР Род деятельности офице�...

首都圏方言

「東京方言」とは異なります。 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: 首都圏方言 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2024年1月) この記事には�...

 

第38回IBAFワールドカップ

第38回IBAFワールドカップ 決勝戦の後、記念撮影を行うアメリカ代表概要開催都市 ヨーロッパ日程 2009年9月9日 - 9月27日 チーム数 20チーム前回優勝  アメリカ合衆国 (2007年)結果優勝  アメリカ合衆国準優勝  キューバ3位  カナダ4位  プエルトリコ← 2007 2011 → 第38回IBAFワールドカップ（2009 Baseball World Cup）は、国際野球連盟が主催する全世界規模の�...

 

Tetragnatha extensa

Species of spider Tetragnatha extensa T. extensa on Philadelphus coronarius Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Arthropoda Subphylum: Chelicerata Class: Arachnida Order: Araneae Infraorder: Araneomorphae Family: Tetragnathidae Genus: Tetragnatha Species: T. extensa Binomial name Tetragnatha extensa(Linnaeus, 1758) Subspecies Tetragnatha extensa brachygnatha Thorell, 1873 – Sweden, Russia Tetragnatha extensa maracandica Charitonov, 1951 – Iran...

Hermann Balck

German Army general Not to be confused with 13th century Teutonic Knight Hermann Balk. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Hermann Balck – news · newspapers · books · scholar · JSTOR (February 2016) (Learn how and when to remove this message) Hermann BalckBalck in 1943Born(1893-12-07)7 December 1...

 

Bussi sul Tirino

Disambiguazione – Bussi rimanda qui. Se stai cercando altri significati, vedi Bussi (disambigua). Questa voce o sezione sull'argomento centri abitati dell'Abruzzo non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Bussi sul Tirinocomune Bussi sul Tirino – VedutaVista del paese in cima ad un colle LocalizzazioneStato Italia Regione Abruz...