Marta Kwiatkowska
Marta Zofia Kwiatkowska (* 26. Februar 1957) ist eine polnische theoretische Informatikerin wohnhaft im Vereinigten Königreich.[1][2] Sie ist Professorin an der Fakultät für Informatik der University of Oxford, England:[3] und ein Mitglied des Trinity College, Oxford.[4]
Ausbildung Bearbeiten
Kwiatkowska schloss ihren Bachelor und Master of Science in Informatik mit summa cum laude an der Jagiellonen-Universität in Krakau, Polen ab. Im Jahr 1989 promovierte sie in Informatik an der Universität Leicester.[5][6]
Karriere und Forschung Bearbeiten
Zwischen ihrem Masterabschluss und der Aufnahme der Professur für Informatik an der University of Oxford im Jahr 2007, hatte Kwiatkowska folgende Stellen inne:[6]
- Dozentin, Jagiellonen-Universität, Krakau, Polen (1980–1988)
- Forschungsstipendiatin, Universität Leicester (1984–1986)
- Dozentin, Universität Leicester (1986–1994)
- Dozentin, Universität Birmingham (1994–1998)
- Professorin für Informatik, Universität Birmingham (2001–2007)
Der Hauptfokus ihrer Forschung der letzten Jahre war die Modellierung und Verifikation von probabilistischen Systemen, besonders probabilistische Techniken der Modellprüfung. Sie leitete die Entwicklung des probabilistischen Model-Checkers PRISM:[7]
Kwiatkowska ist Mitglied mehrerer redaktioneller Beiräte von wissenschaftlichen Zeitschriften wie Information and Computation, Formal Methods in System Design, Logical Methods in Computer Science und Science of Computer Programming. Ihre Forschung wurde durch Zuschüsse von EPSRC, ERC, EU, DARPA und Microsoft Research unterstützt, darunter insbesondere ihre beiden ERC-Projekte VERIWARE und FUN2MODEL, und ihr EPSRC-Programm Grant zur mobilen Autonomie.[8]
Sie ist stellvertretende Leiterin der Fakultät für Informatik an der University of Oxford und war an dieser die erste weibliche Professorin. Kwiatkowska leitet dort das Forschungsgebiet der automatischen Verifikation.
Aktuelle Projekte Bearbeiten
- FUN2MODEL (2019–2024), ein vom Europäischen Forschungsrat (ERC) gefördertes Projekt
- Mobile Autonomy (2015–2020), ein vom Engineering and Physical Sciences Research Council (EPSRC) gefördertes Projekt
- AFFECTech (2017–2020), gefördert vom Horizont 2020 der EU.
Bemerkenswerte Beiträge Bearbeiten
- Leitung der Entwicklung von PRISM, welches mehr als 60.000[9] mal heruntergeladen und 2016 mit dem HVC Award ausgezeichnet wurde:[10]
- Erweiterung und Anwendung von probabilistischer Verifikation zur automatischen Diagnose von DNA Berechnungsmethoden und zur Entwicklung eines Vorhersagemodells von DNA-Origami, publiziert bei Nature.[11]
Auszeichnungen Bearbeiten
- Fellow der Royal Society seit 2019[12]
- Milner Award 2018.
- Fellow der European Association for Theoretical Computer Science seit 2017.
- Fellow der Association for Computing Machinery, ernannt 2016 für grundlegende Beiträge zur Theorie und Praxis probabilistischer Verifikation und ihrer Anwendung
- Mitglied der Academia Europaea seit 2011[13]
- Fellow der British Computer Society seit 2008.
Weblinks Bearbeiten
Einzelnachweise Bearbeiten
- ↑ Kwiatkowska, Prof. Marta Zofia, (born 26 Feb. 1957), Professor of Computing Systems, University of Oxford, since 2007; Fellow, Trinity College, Oxford, since 2007. Abgerufen am 20. April 2020 (englisch).
- ↑ Marta Kwiatkowska - Google Scholar Citations. Abgerufen am 20. April 2020.
- ↑ Marta Kwiatkowska. Abgerufen am 20. April 2020 (britisches Englisch).
- ↑ Oneltd: Marta Kwiatkowska. Archiviert vom (nicht mehr online verfügbar) am 3. Dezember 2020; abgerufen am 20. April 2020 (englisch). Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
- ↑ University of Leicester research repository. Abgerufen am 20. April 2020.
- ↑ a b Prof. Marta Zofia Kwiatkowska - AcademiaNet. Abgerufen am 20. April 2020.
- ↑ PRISM - People. Abgerufen am 20. April 2020.
- ↑ Department of Computer Science: Marta Kwiatkowska - Biography. Abgerufen am 20. April 2020.
- ↑ PRISM - Download. Abgerufen am 20. April 2020.
- ↑ HVC 2016 - Haifa Verification Conference 2016. 4. September 2011, abgerufen am 20. April 2020 (amerikanisches Englisch).
- ↑ K. E. Dunn, F. Dannenberg, T. E. Ouldridge, M. Kwiatkowska, A. J. Turberfield: Guiding the Folding Pathway of DNA Origami. In: Nature. Band 525, Nr. 7567, 3. September 2015, S. 82–86, PMID 26287459 (englisch).
- ↑ Marta Kwiatkowska | Royal Society. Abgerufen am 20. April 2020 (britisches Englisch).
- ↑ Academy of Europe: Kwiatkowska Marta. Abgerufen am 20. April 2020.
| Personendaten | |
|---|---|
| NAME | Kwiatkowska, Marta |
| ALTERNATIVNAMEN | Kwiatkowska, Marta Zofia (vollständiger Name) |
| KURZBESCHREIBUNG | polnische theoretische Informatikerin |
| GEBURTSDATUM | 26. Februar 1957 |