Marta Kwiatkowska
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | |
| Formation |
Université Jagellonne (jusqu'en ) |
| Activités |
| 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) |
| Distinctions | Liste détaillée |
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 obtenu son baccalauréat universitaire en sciences et sa maîtrise universitaire en sciences en informatique avec la mention summa cum laude à l'université Jagellonne de Cracovie. Elle a travaillé comme professeur assistant à l'université Jagellonne (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.
