Marta Kwiatkowska

Polish Academy of Sciences

  • Joined July 2019

Names

Marta Kwiatkowska (Preferred)

Emails

****@cs.ox.ac.uk (Confirmed)

Personal Links

Education & Career History

Full Professor
Polish Academy of Sciences (ipipan.waw.pl)
2022 – Present
 
Full Professor
Department of Computer Science (cs.ox.ac.uk)
2007 – Present
 

Advisors, Relations & Conflicts

Coauthor
2022 – Present
 
PhD Advisor
Daqian Shao
2021 – Present
 

Expertise

Robustness of deep learning
2017 – Present
 
Formal verification and model checking
1995 – Present
 
Probabilistic modelling, verification and synthesis
1995 – Present