|
Marta KwiatkowskaMarta 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]. BiographieKwiatkowska 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. RechercheKwiatkowska 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 :
Prix et distinctions
Références
Liens externes
|
