Marta Kwiatkowska

Marta Kwiatkowska

Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She is known for fundamental contributions to the theory and practice of automated techniques for verification and correct-by-construction synthesis of systems from quantitative specifications, which have been adopted in diverse fields, including security, robotics, healthcare, DNA computing and nanotechnology. Her current research focus is on safety, robustness and fairness of AI decision making software. Kwiatkowska won two ERC Advanced Grants, VERIWARE and FUN2MODEL, and is a coinvestigator of the EPSRC Project FAIR (Framework for responsible adoption of artificial intelligence in the financial services industry). She is a Fellow of the Royal Society, Fellow of ACM and Member of Academia Europea.

Share this speaker
  • Organization
    University of Oxford
  • Profession
    Professor of Computing Systems
Related sessions

Are you sure you want to remove this speaker?