Marta Kwiatkowska

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].

Marta Kwiatkowska
Biographie
Naissance
Nationalité
Formation
Université Jagellonne (jusqu'en )
Activités
Autres informations
A travaillé pour
Membre de
UK Computing Research Committee (d)
Academia Europaea ()
Royal Society ()
Distinctions
Liste détaillée
ACM Fellow ()
Prix Milner ()
Médaille Lovelace ()
Prix Van Wijngaarden ()

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 : Élection 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 (en) (online Oxford University Press), A & C Black (en), (DOI 10.1093/ww/9780199540884.013.U253926, lire en ligne ), « Kwiatkowskia, Prof. Marta Zofia »
  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)
  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
  • Portail de l’informatique
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.