Marta Kwiatkowska
| Use attributes for filter ! | |
| Gender | Female |
|---|---|
| Born | 2022-03-22 16:17:28 |
| Affiliations | University Of Oxford |
| Education | Jagiellonian University |
| Awards | BCS Lovelace Medal |
| Interests | Computer Science |
| Automated Verification | |
| Probabilistic/Quantitative Model Checking | |
| Publications | scholar.google.com |
| Edited works | Automata, Languages, and Pro... |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3570767 |
Marta Kwiatkowska Life story
Marta Zofia Kwiatkowska FRS MAE is a Polish theoretical computer scientist based in the United Kingdom. Kwiatkowska is Professor of Computing Systems in the Department of Computer Science at the University of Oxford, England, and a Fellow of Trinity College, Oxford.
Marta Kwiatkowska Photos
