Aller au contenu

Marta Kwiatkowska

Un article de Wikipédia, l'encyclopédie libre.
Marta Kwiatkowska
Biographie
Naissance
Voir et modifier les données sur Wikidata (67 ans)
Nationalité
Formation
Université Jagellonne (jusqu'en )Voir et modifier les données sur Wikidata
Activités
Autres informations
A travaillé pour
Membre de
Distinctions

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

[modifier | modifier le code]

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

[modifier | modifier le code]

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

[modifier | modifier le code]

Références

[modifier | modifier le code]
  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

[modifier | modifier le code]
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Marta_Kwiatkowska&oldid=213407908 ».