Marta Kwiatkowska (Preferred)
Marta Kwiatkowska
Full Professor, Polish Academy of Sciences
Full Professor, Computer Science, Department of Computer Science
Joined
July 2019
Names
Emails
****@cs.ox.ac.uk (Confirmed)
Personal Links
Career & Education History
Full Professor
Polish Academy of Sciences (ipipan.waw.pl)
2022 – Present
Full Professor
Computer Science, Department of Computer Science (cs.ox.ac.uk)
2007 – Present
Advisors, Relations & Conflicts
Expertise
Robustness of deep learning
2017 – Present
Formal verification and model checking
1995 – Present
Probabilistic modelling
, verification and synthesis
1995 – Present
Publications
Co-Authors
- Agnieszka M. Zbrzezny
- Agnieszka Zbrzezny
- Ahmed Bouajjani
- Akshay A. Morye
- Alberto Greco
- Aleksandar Petrov
- Aleksandra Jovanovic
- Aleksandra Jovanović
- Alessandro Abate
- Alexandru Mereacre
- Amy Zhang
- Andrea Patane
- Andrea Patanè
- Andrea Patané
- Andrew Phillips
- Angelos Filos
- Aniello Murano
- Anthony Hartshorn
- Anton Björklund
- Antonio Filieri
- Arno Blaas
- Artem Velikzhanin
- Artur Czumaj
- Ashkan Soleymani
- Ashutosh Trivedi