Jump to content

Marta Kwiatkowska: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
Anicox (talk | contribs)
27 edits
changed Prism download citation
 
(46 intermediate revisions by 25 users not shown)
Line 1: Line 1:
{{Short description|British computer scientist}}
{{Multiple issues|
{{like resume|date=June 2019}}
{{External links|date=August 2022}}
{{COI|date=June 2019}}
{{EngvarB|date=December 2017}}
{{Use dmy dates|date=December 2017}}
}}
{{Infobox scientist
{{Infobox scientist
| name = Marta Kwiatkowska
| name = Marta Kwiatkowska
Line 10: Line 10:
| native_name =
| native_name =
| native_name_lang =
| native_name_lang =
| image =
| image = Marta Kwiatkowska.png
| image_size =
| image_size =
| alt =
| alt =
| caption = Marta Kwiatkowska
| caption = Kwiatkowska in 2018
| birth_place =
| birth_place =
| other_names =
| other_names =
Line 47: Line 47:
| children =
| children =
}}
}}
'''Marta Zofia Kwiatkowska''' {{post-nominals|country=GBR|FRS|MAE}} is a [[Poles|Polish]] theoretical [[computer scientist]] based in the United Kingdom.<ref name=gs>{{Google scholar id}}</ref><ref name=whoswho>{{Who's Who | author=Anon| surname = Kwiatkowskia | othernames = Prof. Marta Zofia | id = U253926 | year = 2017 | doi =10.1093/ww/9780199540884.013.U253926 | edition = online [[Oxford University Press]]|location=Oxford}} {{subscription required}}</ref>
'''Marta Zofia Kwiatkowska''' {{post-nominals|country=GBR|FRS|MAE}} (born 1957) is a [[Polish people|Polish]] theoretical [[computer scientist]] based in the United Kingdom.<ref name=gs>{{Google scholar id}}</ref><ref name=whoswho>{{Who's Who | author=Anon| title=Kwiatkowskia, Prof. Marta Zofia | id = U253926 | year = 2017 | doi =10.1093/ww/9780199540884.013.U253926 | edition = online [[Oxford University Press]]|location=Oxford}}</ref>


'''Kwiatkowska''' is Professor of Computing Systems<ref>{{Cite web|title=Marta Kwiatkowska|url=https://www.cs.ox.ac.uk/people/marta.kwiatkowska/|access-date=2021-02-09|website=Department of Computer Science|language=en-gb}}</ref> in the [[Oxford University Department of Computer Science|Department of Computer Science]] at the [[University of Oxford]], England,<ref name="oxford" /> and a [[Fellow]] of [[Trinity College, Oxford]].<ref name="trinity" /> 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.<ref name=":0">{{Citation|last=Kwiatkowska|first=Marta|title=Verification of Real-Time Probabilistic Systems|url=http://dx.doi.org/10.1002/9780470611012.ch8|work=Modeling and Verification of Real-Time Systems|pages=249–288|place=London, UK|publisher=ISTE|isbn=978-0-470-61101-2|access-date=2021-02-09|last2=Norman|first2=Gethin|last3=Parker|first3=David|last4=Sproston|first4=Jeremy}}</ref><ref>{{Cite web|title=Department of Computer Science: Marta Kwiatkowska - Research Overview|url=http://www.cs.ox.ac.uk/people/marta.kwiatkowska/research.html|access-date=2021-02-09|website=www.cs.ox.ac.uk}}</ref>
Kwiatkowska is Professor of Computing Systems<ref>{{Cite web|title=Marta Kwiatkowska|url=https://www.cs.ox.ac.uk/people/marta.kwiatkowska/|access-date=2021-02-09|website=Department of Computer Science|language=en-gb}}</ref> in the [[Oxford University Department of Computer Science|Department of Computer Science]] at the [[University of Oxford]], England,<ref name="oxford" /> and a [[Fellow]] of [[Trinity College, Oxford]].<ref name="trinity" /> 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.<ref name=":0">{{Citation|last1=Kwiatkowska|first1=Marta|title=Verification of Real-Time Probabilistic Systems|url=http://dx.doi.org/10.1002/9780470611012.ch8|work=Modeling and Verification of Real-Time Systems|pages=249–288|place=London, UK|publisher=ISTE|isbn=978-0-470-61101-2|access-date=2021-02-09|last2=Norman|first2=Gethin|last3=Parker|first3=David|last4=Sproston|first4=Jeremy|year=2008|doi=10.1002/9780470611012.ch8}}</ref><ref>{{Cite web|title=Department of Computer Science: Marta Kwiatkowska - Research Overview|url=http://www.cs.ox.ac.uk/people/marta.kwiatkowska/research.html|access-date=2021-02-09|website=cs.ox.ac.uk}}</ref>


==Education==
==Education==
'''Kwiatkowska''' received her [[Bachelor of Science]] and [[Master of Science]] degrees in [[Computer Science]] with distinction [[Latin honors|summa cum laude]] from [[Jagiellonian University]] in [[Krakow]], Poland. She obtained her [[Doctor of Philosophy|PhD]] in [[Computer Science]] from the [[University of Leicester]] in 1989.<ref name=mphd>{{cite thesis|degree=PhD|publisher=University of Leicester|url=https://lra.le.ac.uk/handle/2381/8809|title=Fairness for non-interleaving concurrency|first= Marta Zofia|last=Kwiatkowska|date=1989|id={{EThOS|uk.bl.ethos.521489}}|website=le.ac.uk|oclc=|hdl=2381/8809}} {{free access}}</ref><ref name=edu/>
Kwiatkowska received her [[Bachelor of Science]] and [[Master of Science]] degrees in [[Computer Science]] with distinction [[Latin honors|summa cum laude]] from [[Jagiellonian University]] in [[Kraków]], Poland. She obtained her [[Doctor of Philosophy|PhD]] in [[Computer Science]] from the [[University of Leicester]] in 1989.<ref name=mphd>{{cite thesis|degree=PhD|publisher=University of Leicester|url=https://lra.le.ac.uk/handle/2381/8809|title=Fairness for non-interleaving concurrency|first= Marta Zofia|last=Kwiatkowska|date=1989|id={{EThOS|uk.bl.ethos.521489}}|website=le.ac.uk|oclc=|hdl=2381/8809}} {{free access}}</ref><ref name=edu/>


==Career and research==
==Career and research==
After obtaining her [[Doctor of Philosophy|PhD]], '''Kwiatkowska''' was assistant professor at [[Jagiellonian University]], [[Krakow]], [[Poland]] (1980–1988); research scholar and lecturer in [[Computer Science]] at [[University of Leicester]] (1984–1994); and lecturer in [[Computer Science]], [[Reader (academic rank)|reader]] in [[Semantics (computer science)|Semantics]] for [[Concurrency (computer science)|Concurrency]], and professor of [[Computer Science]] at [[University of Birmingham]] (1984–2007). Joining the [[University of Oxford]] in 2007, '''Kwiatkowska''' was the first female professor in the [http://www.cs.ox.ac.uk/ Department of Computer Science] and now heads the [[Formal verification|Automated Verification]] research theme.<ref>{{Cite web|title=Department of Computer Science - research theme: Automated Verification|url=http://www.cs.ox.ac.uk/research/verification/|access-date=2021-02-09|website=www.cs.ox.ac.uk}}</ref>
After obtaining her [[Doctor of Philosophy|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 (academic rank)|reader]] in [[Semantics (computer science)|Semantics]] for [[Concurrency (computer science)|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 [http://www.cs.ox.ac.uk/ Department of Computer Science] and now heads the [[Formal verification|Automated Verification]] research theme.<ref>{{Cite web |title=About the Department of Computer Science |url=https://www.cs.ox.ac.uk/aboutus/women-cs-oxford/cswomenhistory.html |access-date=2024-01-18 |website=www.cs.ox.ac.uk}}</ref><ref>{{Cite web|title=Department of Computer Science - research theme: Automated Verification|url=http://www.cs.ox.ac.uk/research/verification/|access-date=2021-02-09|website=www.cs.ox.ac.uk}}</ref>


'''Kwiatkowska’s''' research develops models and analysis methods for complex systems, as found in computer networks<ref>{{Citation|last=Huang|first=Xiaowei|title=Safety Verification of Deep Neural Networks|date=2017|url=http://dx.doi.org/10.1007/978-3-319-63387-9_1|work=Computer Aided Verification|pages=3–29|place=Cham|publisher=Springer International Publishing|isbn=978-3-319-63386-2|access-date=2021-02-09|last2=Kwiatkowska|first2=Marta|last3=Wang|first3=Sen|last4=Wu|first4=Min}}</ref>, biological organisms<ref>{{Cite journal|last=Heath|first=John|last2=Kwiatkowska|first2=Marta|last3=Norman|first3=Gethin|last4=Parker|first4=David|last5=Tymchyshyn|first5=Oksana|date=2008|title=Probabilistic model checking of complex biological pathways|url=http://dx.doi.org/10.1016/j.tcs.2007.11.013|journal=Theoretical Computer Science|volume=391|issue=3|pages=239–257|doi=10.1016/j.tcs.2007.11.013|issn=0304-3975|via=}}</ref> and electronic devices<ref>{{Cite journal|last=Duflot|first=Marie|last2=Kwiatkowska|first2=Marta|last3=Norman|first3=Gethin|last4=Parker|first4=David|date=2006-07-05|title=A formal analysis of bluetooth device discovery|url=http://dx.doi.org/10.1007/s10009-006-0014-x|journal=International Journal on Software Tools for Technology Transfer|volume=8|issue=6|pages=621–632|doi=10.1007/s10009-006-0014-x|issn=1433-2779}}</ref>. '''Kwiatkowska''' led development of the [[PRISM model checker|PRISM]] probabilistic [[Model checking|model checker]]<ref name=":0" /><ref>{{Cite web|title=PRISM - Probabilistic Symbolic Model Checker|url=https://www.prismmodelchecker.org/|access-date=2021-02-09|website=www.prismmodelchecker.org}}</ref>; PRISM has been downloaded over 79,000 times and there are over 400 papers by external research teams using PRISM (as at January 2021)<ref>{{Cite web|title=prismmodelchecker.org|url=http://www.prismmodelchecker.org/download.php|url-status=live|access-date=2021-02-09|website=www.prismmodelchecker.org}}</ref><ref>{{Cite web|last=|first=|date=|title=External PRISM Bibliography|url=http://www.prismmodelchecker.org/bib-ext.php?sort=date|url-status=live|archive-url=|archive-date=|access-date=February 9, 2021|website=PRISM Model Checker}}</ref>.
Kwiatkowska's research develops models and analysis methods for complex systems, as found in computer networks, biological organisms and electronic devices.<ref>{{Cite journal|last1=Heath|first1=John|last2=Kwiatkowska|first2=Marta|last3=Norman|first3=Gethin|last4=Parker|first4=David|last5=Tymchyshyn|first5=Oksana|date=2008|title=Probabilistic model checking of complex biological pathways|journal=[[Theoretical Computer Science (journal)|Theoretical Computer Science]]|volume=391|issue=3|pages=239–257|doi=10.1016/j.tcs.2007.11.013|s2cid=2386035 |issn=0304-3975|doi-access=free}}</ref><ref>{{Citation|last1=Huang|first1=Xiaowei|title=Safety Verification of Deep Neural Networks|date=2017|url=http://dx.doi.org/10.1007/978-3-319-63387-9_1|work=Computer Aided Verification|pages=3–29|place=Cham|publisher=Springer International Publishing|isbn=978-3-319-63386-2|access-date=2021-02-09|last2=Kwiatkowska|first2=Marta|last3=Wang|first3=Sen|last4=Wu|first4=Min|series=Lecture Notes in Computer Science |volume=10426 |doi=10.1007/978-3-319-63387-9_1|arxiv=1610.06940|s2cid=11626373}}</ref><ref>{{Cite journal|last1=Duflot|first1=Marie|last2=Kwiatkowska|first2=Marta|last3=Norman|first3=Gethin|last4=Parker|first4=David|date=2006-07-05|title=A formal analysis of bluetooth device discovery|url=http://dx.doi.org/10.1007/s10009-006-0014-x|journal=International Journal on Software Tools for Technology Transfer|volume=8|issue=6|pages=621–632|doi=10.1007/s10009-006-0014-x|s2cid=8454983|issn=1433-2779}}</ref> Kwiatkowska led development of the [[PRISM model checker|PRISM]] probabilistic [[Model checking|model checker]];<ref name=":0" /><ref>{{Cite web|title=PRISM - Probabilistic Symbolic Model Checker|url=https://www.prismmodelchecker.org/|access-date=2021-02-09|website=www.prismmodelchecker.org}}</ref> PRISM has been downloaded over 79,000 times and there are over 400 papers by external research teams using PRISM (as at January 2021).<ref>{{Cite web|title=prismmodelchecker.org|url=http://www.prismmodelchecker.org/download.php|access-date=2021-02-09|website=prismmodelchecker.org}}</ref><ref>{{Cite web|title=External PRISM Bibliography|url=http://www.prismmodelchecker.org/bib-ext.php?sort=date|access-date=9 February 2021|website=PRISM Model Checker}}</ref>


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.<ref name=":0" /><ref>{{Cite journal|last=Wu|first=Min|last2=Kwiatkowska|first2=Marta|date=June 2020|title=Robustness Guarantees for Deep Neural Networks on Videos|url=http://dx.doi.org/10.1109/cvpr42600.2020.00039|journal=2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)|publisher=IEEE|doi=10.1109/cvpr42600.2020.00039|isbn=978-1-7281-7168-5}}</ref> A member of the Global Partnership on Artificial Intelligence ([https://gpai.ai/ GPAI]), [https://gpai.ai/projects/responsible-ai/ Responsible AI Working Group], and the [[Royal Society|Royal Society's]] [https://royalsociety.org/topics-policy/projects/digital-technology-and-the-planet/ Digital Technology and the Planet Working Group], '''Kwiatkowska''' fosters the responsible adoption of trustworthy AI.<!-- These are unecessary
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]].<ref name=":0" /><ref>{{Cite book|last1=Wu|first1=Min|last2=Kwiatkowska|first2=Marta|title=2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) |chapter=Robustness Guarantees for Deep Neural Networks on Videos |date=June 2020|chapter-url=http://dx.doi.org/10.1109/cvpr42600.2020.00039|pages=308–317|publisher=IEEE|doi=10.1109/cvpr42600.2020.00039|isbn=978-1-7281-7168-5|arxiv=1907.00098|s2cid=195767577}}</ref> A member of the [[Global Partnership on Artificial Intelligence]] (GPAI) 'Responsible AI Working Group', and the [[Royal Society|Royal Society's]] 'Digital Technology and the Planet Working Group', Kwiatkowska advocates responsible adoption of trustworthy AI.<ref>{{Cite web|title=Responsible AI - GPAI|url=https://gpai.ai/projects/responsible-ai/|access-date=2021-02-11|website=gpai.ai}}</ref><ref>{{Cite web|title=Digital technology and the planet {{!}} Royal Society|url=https://royalsociety.org/topics-policy/projects/digital-technology-and-the-planet/|access-date=2021-02-11|website=royalsociety.org}}</ref>
Visiting positions:
* [[Visiting scholar|Visiting Professor]], [[Centrum voor Wiskunde & Informatica]], Amsterdam (1991)
* [[Visiting scholar|Visiting Professor]], Laboratory for Specification and Verification (LSV), [[École normale supérieure Paris-Saclay|École Normale Supérieure de Cachan]], Paris, France (2002)
* [[Visiting scholar|Visiting Researcher]] on the programme ''Logical Structures in Computation'', [[Simons Institute for the Theory of Computing]], [[University of California, Berkeley|UC Berkeley]], United States (2016)
-->


As a senior member of [https://www.cs.ox.ac.uk/societies/women/ OxWoCS],<ref>{{Cite web|title=OxWoCS Committee|url=https://www.cs.ox.ac.uk/societies/women/committee.html|access-date=2021-02-15|website=www.cs.ox.ac.uk}}</ref> contributor to the [https://womenintechsummit.pl/ Perspektywy Women in Tech Summit] and adviser to the [https://www.suffragescience.org/ Suffrage Science Award] (2016),<ref>{{Cite web|last=MRC London Institute of Medical Sciences|title=Suffrage Science Maths and Computing 2016|url=https://issuu.com/mrccsc/docs/suffrage_science_maths_and_computin|access-date=2021-02-15|website=Issuu|date=7 October 2016 }}</ref> Kwiatkowska encourages women to pursue careers in science.
'''Kwiatkowska''' serves on the [[Editorial board|editorial boards]] of [[Information and Computation]], [https://www.springer.com/journal/10703 Formal Methods in System Design], [[Logical Methods in Computer Science]], [https://www.journals.elsevier.com/science-of-computer-programming Science of Computer Programming] and the [[Royal Society|Royal Society's]] [[Open science|Open Science]].


Kwiatkowska serves on the [[editorial board]]s of ''[[Information and Computation]]'',<ref>{{Cite book|url=https://www.journals.elsevier.com/information-and-computation|title=Information and Computation}}</ref> ''[https://www.springer.com/journal/10703 Formal Methods in System Design]'',<ref>{{Cite web|title=Formal Methods in System Design|url=https://www.springer.com/journal/10703|access-date=2021-02-11|website=Springer}}</ref> ''[[Logical Methods in Computer Science]]'',<ref>{{Cite web|title=Logical Methods in Computer Science - Editorial Board|url=https://lmcs.episciences.org/page/editorial-board|access-date=2021-02-11|website=lmcs.episciences.org}}</ref> ''Science of Computer Programming''<ref>{{Cite book|url=https://www.journals.elsevier.com/science-of-computer-programming|title=Science of Computer Programming}}</ref> and the ''[https://royalsocietypublishing.org/journal/rsos Royal Society's Open Science]''.<ref>{{Cite web|title=Editorial board {{!}} Royal Society Open Science|url=https://royalsocietypublishing.org/rsos/editorial-board|access-date=2021-02-11|website=royalsocietypublishing.org}}</ref>
⚫
===Current Projects===


⚫
===Projects===
* [http://www.fun2model.org/ FUN2MODEL:] From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning (2019-2024), an European Research Council ([https://erc.europa.eu/ ERC]) Advanced Grant.
* [http://www.fun2model.org/ FUN2MODEL:] From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning (2019–2024), a European Research Council (ERC) Advanced Grant.
*[http://www.cs.ox.ac.uk/projects/MobileRobotics/index.html#:~:text=Mobile%20Autonomy%20Programme%20Grant%3A%20Safety%2C%20Trust%20and%20Integrity,-March%202015%20to&text=Vision%3A%20To%20create%2C%20run%20and,societal%20adaptation%20of%20mobile%20robotics. Mobile Autonomy:] Enabling a Pervasive Technology of the Future (2015–2021), an Engineering and Physical Sciences Research Council ([[Engineering and Physical Sciences Research Council|EPSRC]]) Programme Grant ([[Principal investigator|co-I]]).
*[http://www.cs.ox.ac.uk/projects/MobileRobotics/index.html#:~:text=Mobile%20Autonomy%20Programme%20Grant%3A%20Safety%2C%20Trust%20and%20Integrity,-March%202015%20to&text=Vision%3A%20To%20create%2C%20run%20and,societal%20adaptation%20of%20mobile%20robotics. Mobile Autonomy:] Enabling a Pervasive Technology of the Future (2015–2021), an Engineering and Physical Sciences Research Council ([[Engineering and Physical Sciences Research Council|EPSRC]]) Programme Grant ([[Principal investigator|co-I]]).


===Selected talks and lectures===
===Selected talks and lectures===
*'[https://www.bcs.org/content-hub/bcs-lovelace-lecture-202021-probabilistic-model-checking-for-the-data-rich-world/?_hsmi=129637797&_hsenc=p2ANqtz-8xOFeveteYDYI0oDmF4BW0k3DMlgqqodxIwCkas38NoVD7WCdvbtFNjFfQ8gqK4OoXrmgYQo6sXJshBqIg-8seT2hxZQ Probabilistic Model Checking for the Data-Rich World]' BCS 2020 Lovelace Lecture, on-line event, May 2021.

* '[https://www.youtube.com/watch?v=qZSp_cIRtAk&list=PL0Q9_MomjV2lxQAcPCdfOR7jmlxbtlTgK&index=5 Probabilistic Model Checking for Strategic Equilibria-Based Decision Making]' Conference on Principles of Knowledge Representation and Reasoning, ([https://kr2020.inf.unibz.it/ KR 2020]), on-line event, September 2020. [https://www.hayfestival.com/p-12297-marta-kwiatkowska.aspx ']
*'[https://www.youtube.com/watch?v=qZSp_cIRtAk&list=PL0Q9_MomjV2lxQAcPCdfOR7jmlxbtlTgK&index=5 Probabilistic Model Checking for Strategic Equilibria-Based Decision Making]' Conference on Principles of Knowledge Representation and Reasoning, ([https://kr2020.inf.unibz.it/ KR 2020]), on-line event, September 2020. [https://www.hayfestival.com/p-12297-marta-kwiatkowska.aspx ']
*'[https://www.youtube.com/watch?v=saeDweYbHD0&feature=youtu.be When to Trust a Self-Driving Car...'] The National Academy of Sciences, India ([http://www.nasi.nic.in/ NASI]), on-line, July 2020.
*'[https://royalsociety.org/science-events-and-lectures/2018/11/milner-lecture/ When to Trust a Self-Driving Car...'] - [[Milner Award]] Prize Lecture, November 2018.
*'[https://royalsociety.org/science-events-and-lectures/2018/11/milner-lecture/ When to Trust a Self-Driving Car...'] - [[Milner Award]] Prize Lecture, November 2018.
*[https://www.hayfestival.com/p-12297-marta-kwiatkowska.aspx 'When to trust a robot'] – [[Hay Festival]] talk on 30 May 2017.
*[https://www.hayfestival.com/p-12297-marta-kwiatkowska.aspx 'When to trust a robot'] – [[Hay Festival]] talk on 30 May 2017.
* [http://qav.comlab.ox.ac.uk/talks/marta-cav2017inv.pdf 'Safety Verification of Deep Neural Networks'] – invited talk at [[Computer Aided Verification]] (CAV) 2017.
* [https://www.youtube.com/watch?v=wI2w0GwNcGs 'Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice'] – invited lecture at [[Simons Institute for the Theory of Computing]], [[University of California, Berkeley|UC Berkeley]], October 2016.
* [https://www.youtube.com/watch?v=wI2w0GwNcGs 'Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice'] – invited lecture at [[Simons Institute for the Theory of Computing]], [[University of California, Berkeley|UC Berkeley]], October 2016.
* [https://www.youtube.com/watch?v=Y8J-vzkbgdw 'Mobile Autonomous Robots'] – invited lecture at [https://saiconference.com/Conferences/IntelliSys2016 IntelliSys], September 2016.
* [https://www.youtube.com/watch?v=Y8J-vzkbgdw 'Mobile Autonomous Robots'] – invited lecture at [https://saiconference.com/Conferences/IntelliSys2016 IntelliSys], September 2016.


== Awards and honours ==
== Awards and honours ==
⚫
* Fellow of the European Laboratory for Learning and Intelligent Systems ([https://ellis.eu/ ELLIS Society]), 2020.<ref>{{Cite web|last=Williams|first=Jonathan|title=Fellows|url=http://ellis.eu/fellows|access-date=2021-02-09|website=European Lab for Learning & Intelligent Systems|language=en}}</ref>
⚫
* Awarded the [[British Computer Society|BCS]] Ada [[BCS Lovelace Medal|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.<ref>{{Cite web|title=BCS Lovelace Lecture 2020/21 - Prof Marta Kwiatkowska|url=https://www.bcs.org/events/2021/may/bcs-lovelace-lecture-202021-prof-marta-kwiatkowska/|access-date=2021-02-09|website=bcs.org}}</ref>
⚫
* [[Fellow of the Royal Society]], (FRS), 2019.<ref name="royalsociety.org">{{Cite web|title=Marta Kwiatkowska {{!}} Royal Society|url=https://royalsociety.org/people/marta-kwiatkowska-14107/|access-date=2021-02-09|website=royalsociety.org|language=en-gb}}</ref><ref>{{Cite web|title=Distinguished scientists elected as Fellows and Foreign Members of the Royal Society {{!}} Royal Society|url=https://royalsociety.org/news/2019/04/royal-society-announces-2019-fellows/|access-date=2021-02-09|website=royalsociety.org|language=en-gb}}</ref>
⚫
* 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.<ref name="royalsociety.org"/>
⚫
* Jointly awarded the [https://www.research.ibm.com/haifa/conferences/hvc2016/award.shtml HVC 2016 Award] for her ‘contributions to probabilistic model checking and, more generally, to formal verification’, 2016.<ref>{{Cite web|date=2011-09-04|title=HVC 2016 - Haifa Verification Conference 2016|url=https://www.research.ibm.com/haifa/conferences/hvc2016/index.shtml|access-date=2021-02-09|website=research.ibm.com|language=en-US}}</ref>


⚫
Kwiatkowska was awarded an [[Doctorate|Honorary Doctorate]] at the KTH [[Royal Institute of Technology]] in 2014, and is [[Fellow]] of [https://www.acm.org/ ACM], Fellow of [[European Association for Theoretical Computer Science|EATCS]], Fellow of the [https://www.bcs.org/ BCS], a member of [[Academia Europaea]], Fellow of [[Polish Society of Arts and Sciences Abroad|Polish Society of Arts & Sciences Abroad]],<ref>{{Cite web|title=Honorary doctors at KTH|url=https://www.kth.se/en/aktuellt/akademiska-hogtider/fame/hedersdoktorer/hedersdoktorer-vid-kth-1.3974|access-date=2021-02-11|website=KTH|language=en-GB}}</ref><ref>{{Cite web|title=About ACM Fellows|url=https://awards.acm.org/fellows|access-date=2021-02-09|website=awards.acm.org|language=en}}</ref><ref>{{Cite web|last=|first=|date=|title=EATCS Fellows|url=https://eatcs.org/index.php/eatcs-fellows|archive-url=|archive-date=|access-date=9 February 2021|website=European Association for Theoretical Computer Science}}</ref><ref>{{Cite web|title=Academy of Europe: Kwiatkowska Marta|url=https://www.ae-info.org/ae/Member/Kwiatkowska_Marta|access-date=2021-02-11|website=ae-info.org}}</ref> and member of the [[American Academy of Arts and Sciences]].<ref>{{cite web|url=https://www.amacad.org/new-members-2023|title=New members|year=2023|publisher= American Academy of Arts and Sciences|access-date=2023-04-21}}</ref>
⚫
* Fellow of the European Laboratory for Learning and Intelligent Systems ([https://ellis.eu/ ELLIS Society]), 2020<ref>{{Cite web|last=Williams|first=Jonathan|title=Fellows|url=http://ellis.eu/fellows|access-date=2021-02-09|website=European Lab for Learning & Intelligent Systems|language=en}}</ref>.
⚫
* Awarded the [[British Computer Society|BCS]] Ada [[BCS Lovelace Medal|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'<ref>{{Cite web|title=BCS Lovelace Lecture 2020/21 - Prof Marta Kwiatkowska {{!}} BCS|url=https://www.bcs.org/events/2021/may/bcs-lovelace-lecture-202021-prof-marta-kwiatkowska/|access-date=2021-02-09|website=www.bcs.org}}</ref>, 2019.
⚫
* [[Fellow of the Royal Society|Fellow of the Royal Society,]] (FRS),<ref>{{Cite web|title=Marta Kwiatkowska {{!}} Royal Society|url=https://royalsociety.org/people/marta-kwiatkowska-14107/|access-date=2021-02-09|website=royalsociety.org|language=en-gb}}</ref><ref>{{Cite web|title=Distinguished scientists elected as Fellows and Foreign Members of the Royal Society {{!}} Royal Society|url=https://royalsociety.org/news/2019/04/royal-society-announces-2019-fellows/|access-date=2021-02-09|website=royalsociety.org|language=en-gb}}</ref> 2019.
⚫
* 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’<ref>{{Cite web|title=Marta Kwiatkowska {{!}} Royal Society|url=https://royalsociety.org/people/marta-kwiatkowska-14107/|access-date=2021-02-09|website=royalsociety.org|language=en-gb}}</ref>, 2018.
⚫
* Jointly awarded the [https://www.research.ibm.com/haifa/conferences/hvc2016/award.shtml HVC 2016 Award] for her ‘contributions to probabilistic model checking and, more generally, to formal verification’<ref>{{Cite web|date=2011-09-04|title=HVC 2016 - Haifa Verification Conference 2016|url=https://www.research.ibm.com/haifa/conferences/hvc2016/index.shtml|access-date=2021-02-09|website=www.research.ibm.com|language=en-US}}</ref>, 2016.

⚫
'''Kwiatkowska''' was awarded an [[Doctorate|Honorary Doctorate]] at the KTH [[Royal Institute of Technology]] in 2014, and is [[Fellow]] of [https://www.acm.org/ ACM]<ref>{{Cite web|title=About ACM Fellows|url=https://awards.acm.org/fellows|access-date=2021-02-09|website=awards.acm.org|language=en}}</ref>, Fellow of [[European Association for Theoretical Computer Science|EATCS]]<ref>{{Cite web|last=|first=|date=|title=EATCS Fellows|url=https://eatcs.org/index.php/eatcs-fellows|url-status=live|archive-url=|archive-date=|access-date=February 9, 2021|website=European Association for Theoretical Computer Science}}</ref>, Fellow of the [https://www.bcs.org/ BCS], a member of [[Academia Europaea|Academia Europea]], and Fellow of [[Polish Society of Arts and Sciences Abroad|Polish Society of Arts & Sciences Abroad]].


==Personal life==
==Personal life==
⚫
Kwiatkowska lives in [[Oxford]] with her husband, with whom she has a daughter.{{citation needed|date=April 2019}}

⚫
'''Kwiatkowska''' lives in [[Oxford]] with her husband, with whom she has a daughter.{{citation needed|date=April 2019}}


==References==
==References==

{{Reflist|refs=
{{Reflist|refs=
Line 109: Line 100:
<ref name=trinity>{{cite web |url=http://www.trinity.ox.ac.uk/people/profiles/marta-kwiatkowska/ |title = Trinity College – Marta Kwiatkowska| access-date=4 December 2017}}</ref>
<ref name=trinity>{{cite web |url=http://www.trinity.ox.ac.uk/people/profiles/marta-kwiatkowska/ |title = Trinity College – Marta Kwiatkowska| access-date=4 December 2017}}</ref>


<ref name=prism>{{cite web |url=http://www.prismmodelchecker.org/people.php |title = PRISM – People| access-date=4 December 2017}}</ref>
<!-- <ref name=prism>{{cite web |url=http://www.prismmodelchecker.org/people.php |title = PRISM – People| access-date=4 December 2017}}</ref> -->


<!-- <ref name=milner>{{cite web |url=https://cacm.acm.org/news/219458-milner-award-and-lecture/fulltext |title = Milner Award and Lecture, Communications of the ACM, 18 July 2017| access-date=4 December 2017}}</ref>
<!-- <ref name=milner>{{cite web |url=https://cacm.acm.org/news/219458-milner-award-and-lecture/fulltext |title = Milner Award and Lecture, Communications of the ACM, 18 July 2017| access-date=4 December 2017}}</ref>
Line 123: Line 114:
<ref name=prev>{{cite web |url=http://qav.cs.ox.ac.uk/projects/marta.kwiatkowska.php |title= Research Projects – Marta Kwiatkowska| access-date=6 December 2017}}</ref>-->
<ref name=prev>{{cite web |url=http://qav.cs.ox.ac.uk/projects/marta.kwiatkowska.php |title= Research Projects – Marta Kwiatkowska| access-date=6 December 2017}}</ref>-->


<ref name=grant>{{cite web |url=http://www.cs.ox.ac.uk/people/marta.kwiatkowska/bio.html |title= Department of Computer Science: Marta Kwiatkowska – biography| access-date=6 December 2017}}</ref>
<!-- <ref name=grant>{{cite web |url=http://www.cs.ox.ac.uk/people/marta.kwiatkowska/bio.html |title= Department of Computer Science: Marta Kwiatkowska – biography| access-date=6 December 2017}}</ref> -->


<ref name=download>{{cite web |url=http://www.prismmodelchecker.org/download.php |title= PRISM – Download| access-date=6 December 2017}}</ref>
<!-- <ref name=download>{{cite web |url=http://www.prismmodelchecker.org/download.php |title= PRISM – Download| access-date=6 December 2017}}</ref> -->


<ref name=hvc>{{cite web |url=http://www.research.ibm.com/haifa/conferences/hvc2016/award.shtml |title= HVC 2016 – Haifa Verification Conference 2016| access-date=6 December 2017|date= 4 September 2011}}</ref>
<!-- <ref name=hvc>{{cite web |url=http://www.research.ibm.com/haifa/conferences/hvc2016/award.shtml |title= HVC 2016 – Haifa Verification Conference 2016| access-date=6 December 2017|date= 4 September 2011}}</ref> -->


<ref name=nature>{{cite journal |title= Nature Journal – Guiding the folding pathway of DNA origami|journal= Nature|volume= 525|issue= 7567|pages= 82–86|doi= 10.1038/nature14860|pmid= 26287459|date= September 2015|last1= Bath|first1= Jonathan|last2= Turberfield|first2= Andrew J.|last3= Kwiatkowska|first3= Marta|last4= Ouldridge|first4= Thomas E.|last5= Dannenberg|first5= Frits|last6= Dunn|first6= Katherine E.|hdl= 10044/1/29005|s2cid= 4396888|hdl-access= free}}</ref>
<!-- <ref name=nature>{{cite journal |title= Nature Journal – Guiding the folding pathway of DNA origami|journal= [[Nature (journal)|Nature]]|volume= 525|issue= 7567|pages= 82–86|doi= 10.1038/nature14860|pmid= 26287459|date= September 2015|last1= Bath|first1= Jonathan|last2= Turberfield|first2= Andrew J.|last3= Kwiatkowska|first3= Marta|last4= Ouldridge|first4= Thomas E.|last5= Dannenberg|first5= Frits|last6= Dunn|first6= Katherine E.|hdl= 10044/1/29005|s2cid= 4396888|hdl-access= free}}</ref> -->
}}
}}


==External links==
==External links==
* [http://www.cs.ox.ac.uk/people/marta.kwiatkowska/ Kwiatkowska's University of Oxford homepage]
* [http://www.cs.ox.ac.uk/people/marta.kwiatkowska/ Kwiatkowska's University of Oxford homepage]
* [http://www.trinity.ox.ac.uk/people/profiles/marta-kwiatkowska/ Kwiatkowska's Trinity College homepage]
* [https://www.trinity.ox.ac.uk/people/marta-kwiatkowska Kwiatkowska's Trinity College homepage]


⚫
{{Authority control}}
{{FRS 2019}}
{{FRS 2019}}

⚫
{{Authority control}}


{{DEFAULTSORT:Kwiatkowska, Marta}}
{{DEFAULTSORT:Kwiatkowska, Marta}}
[[Category:1957 births]]
[[Category:Living people]]
[[Category:Living people]]
[[Category:Jagiellonian University alumni]]
[[Category:Jagiellonian University alumni]]
[[Category:Jagiellonian University faculty]]
[[Category:Academic staff of Jagiellonian University]]
[[Category:Academics of the University of Leicester]]
[[Category:Academics of the University of Leicester]]
[[Category:Academics of the University of Birmingham]]
[[Category:Academics of the University of Birmingham]]
Line 148: Line 141:
[[Category:Members of Academia Europaea]]
[[Category:Members of Academia Europaea]]
[[Category:Fellows of Trinity College, Oxford]]
[[Category:Fellows of Trinity College, Oxford]]
⚫
[[Category:Polish computer scientists]]
[[Category:British computer scientists]]
[[Category:British computer scientists]]
[[Category:British women computer scientists]]
[[Category:British women computer scientists]]
[[Category:British people of Polish descent]]
[[Category:British people of Polish descent]]
[[Category:Formal methods people]]
[[Category:Formal methods people]]
[[Category:Women logicians]]
[[Category:Polish women computer scientists]]
[[Category:Polish women computer scientists]]
⚫
[[Category:Polish computer scientists]]
[[Category:Polish women academics]]
[[Category:Polish women academics]]
[[Category:Fellows of the Association for Computing Machinery]]
[[Category:2016 fellows of the Association for Computing Machinery]]
[[Category:Fellows of the Royal Society]]
[[Category:Fellows of the Royal Society]]
[[Category:1957 births]]
[[Category:Female fellows of the Royal Society]]
[[Category:Female Fellows of the Royal Society]]
[[Category:Fellows of the American Academy of Arts and Sciences]]

Latest revision as of 08:29, 13 September 2024

Marta Kwiatkowska
FRS MAE
Kwiatkowska in 2018
Born
Marta Zofia Kwiatkowska

1957 (age 66–67)[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

[edit]

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

[edit]

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

[edit]
  • 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

[edit]

Awards and honours

[edit]
  • 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

[edit]

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

References

[edit]
  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.
[edit]
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Marta_Kwiatkowska&oldid=1245490279"