Marta Kwiatkowska

Marta Kwiatkowska
Biographie
Naissance
Voir et modifier les données sur Wikidata (67 ans)
Nationalité
polonaiseVoir et modifier les données sur Wikidata
Formation
Université Jagellonne (jusqu'en )Voir et modifier les données sur Wikidata
Activités
Informaticienne, ingénieureVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Membre de
Academia Europaea ()
Association for Computing Machinery ()
Royal Society ()
Académie américaine des arts et des sciences
UK Computing Research Committee (d)Voir et modifier les données sur Wikidata
Distinctions
Liste détaillée
ACM Fellow ()
Prix Milner ()
Médaille Lovelace ()
Prix Van Wijngaarden ()
Membre de l'Académie américaine des arts et des sciences ()Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

Marta Zofia Kwiatkowska est une informaticienne théoricienne de nationalité polonaise, aussi citoyenne britannique, travaillant au Royaune-Uni[1],[2]. Elle est professeur d'informatique au département d'informatique de l'Université d'Oxford[3], et Fellow du Trinity College[4].

Biographie

Kwiatkowska obtenu son baccalauréat universitaire en sciences et sa maîtrise universitaire en sciences en informatique avec la mention summa cum laude à l'Université Jagellon de Cracovie. Elle a travaillé comme professeur assistant à l'université Jagellon (1980–1988), et comme chercheuse à l'Université de Leicester (1984–1986). Elle a obtenu son PhD en informatique à l'Université de Leicester en 1989[5],[6]. Elle était Lecturer en informatique d'abord à l'université de Leicester (1986–1994), puis à l'université de Birmingham (1994–1998), puis Reader en sémantique de la programmation parallèle à l'université de Birmingham (1998-2001), enfin professeur d'informatique à l'université de Birmingham (2001-2007) avant de rejoindre l'université d'Oxford.

Elle a effectué des séjours de recherche au Centrum voor Wiskunde en Informatica, à l'École normale supérieure de Cachan, au Simons Institute for the Theory of Computing.

Recherche

Kwiatkowska travaille principalement dans la modélisation et la vérification de systèmes probabilistes, plus particulièrement dans les techniques de model checking probabilistes. Elle est notamment liée au développement du model checker PRISM (en)[7]. Elle travaille sur les projets européens :

  • Mobile Autonomy (2015–2020), un programme de recherche ERC
  • AFFECTech (2017–2020), un programme Horizon2020.

Prix et distinctions

  • 2021 : Prix Van Wijngaarden
  • 2019 : Élue Fellow of the Royal Society
  • 2018 : Prix Milner « pour ses contributions au développement théorique et pratique du model checking quantitatif et stochastique ».
  • 2017 : Fellow de l'European Association for Theoretical Computer Science[8] pour « son travail de pionnière dans le développement de la vérification de modèles pour les systèmes quantitatifs et dans son application à un large éventail de domaines, également pour un mentorat exceptionnel, et servant de modèle aux chercheuses en informatique »"
  • 2016 : Fellow de l'Association for Computing Machinery (ACM), pour « ses contributions fondamentales à la théorie et à la pratique de la vérification probabiliste et de ses applications ».
  • 2016 : Prix du IBM Haifa Research Laboratory (en), avec Dave Parker et Gethin Norman, « pour l'invention, le développement et la mintenance du model checker probabiliste PRISM ».
  • 2014 : doctorat honoris causade l'Institut royal de technologie, 2014, pour « sa force motrice pour le développement de méthodes probabilistes et quantitatives en informatique ».
  • 2012 : Milner Lecture de l'Université d'Édimbourg, attribuée pour « un travail théorique excellent et original qui a une signification remarquable pour l'informatique pratique ».
  • 2011 : Membre de l'Academia Europaea[9].
  • 2008 : Fellow de la British Computer Society (BCS).

Références

  1. ↑ Marta Zofia Kwiatkowska sur Google scholar.
  2. ↑ Who's Who (online Oxford University Press), A & C Black (en), (DOI 10.1093/ww/9780199540884.013.U253926, lire en ligne Accès payant), « Kwiatkowskia, Prof. Marta Zofia » Inscription nécessaire
  3. ↑ « Department of Computer Science: Marta Kwiatkowska » (consulté le )
  4. ↑ « Trinity College – Marta Kwiatkowska » (consulté le )
  5. ↑ Marta Zofia Kwiatkowska, Fairness for non-interleaving concurrency, University of Leicester, (hdl 2381/8809, lire en ligne) Accès libre
  6. ↑ « Prof. Marta Kwiatkowska – AcademiaNet » (consulté le )
  7. ↑ « PRISM – People » (consulté le )
  8. ↑ Fellows EATCS
  9. ↑ « Academy of Europe: Kwiatkowska Marta », sur www.ae-info.org (consulté le ).

Liens externes

  • page de Kwiatkowska sur l'Université d'Oxford
  • page de Kwiatkowska sur Kwiatkowska's Trinity College
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • VIAF
    • ISNI
    • IdRef
    • LCCN
    • GND
    • Belgique
    • Pays-Bas
    • Pologne
    • Israël
    • NUKAT
    • Norvège
    • WorldCat
  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Dimensions
    • Google Scholar
    • Nauka Polska
    • ORCID
    • Royal Society
  • icône décorative Portail de l’informatique
  • icône décorative Portail de l'informatique théorique