Marta Kwiatkowska (Q11760)
Aller à la navigation
Aller à la recherche
informaticienne
| Langue | Libellé | Description | Également connu comme |
|---|---|---|---|
| français | Marta Kwiatkowska |
informaticienne |
|
| anglais | Marta Zofia Kwiatkowska |
British computer scientist |
|
Déclarations
Marta Kwiatkowska (polonais)
0 référence
1 référence
1 référence
26 février 1957
0 référence
1 référence
0000-0001-9022-7599.xml
2 juin 2020
10 novembre 2023
AE section Informatics anglais
2011
UK Computing Research Committee anglais
ACM Fellow anglais
2016
8 décembre 2016
For contributions to the theory and practice of probabilistic verification (anglais)
2018
for her contribution to the theoretical and practical development of stochastic and quantitative model checking (anglais)
2019
16 avril 2019
1 référence
Identifiants
1 référence
1 référence
1 référence
1144744
0 référence
1 référence
1 référence
Liens de site
Wikipédia(6 entrées)
- dewiki Marta Kwiatkowska
- enwiki Marta Kwiatkowska
- frwiki Marta Kwiatkowska
- igwiki Marta Kwiatkowska
- mgwiki Marta Kwiatkowska
- plwiki Marta Kwiatkowska