Research Projects - Marta Kwiatkowska

Current Projects

• From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning.
  Funded by ERC, 2019-2025.
  
  
• ELSA: European Lighthouse on Secure and Safe AI project.
  (Grant agreement No. 101070617 under UK guarantee), 2022-2025.
  
  
• EPSRC Prosperity Partnership FAIR.
  (Grant number EP/V056883/1), 2021-2026.
  
  

Completed Projects

• Mobile Autonomy Programme Grant: Safety, Trust and Integrity.
  Funded by EPSRC, 2015-2020.
  
  
• AFFECTech: Personal Technologies for Affective Health.
  Funded by ERC, 2017-2020.
  
  
• VERIWARE: From Software Verification to ‘Everyware’ Verification.
  ERC Advanced Grant research project, 2010-2016.
  
  
• VERIPACE: Design, Analysis and Synthesis Tools for Cardiac Pacemaker Software.
  Funded by European Research Council, January 2014 to December 2014.
  
  
• Autonomous Ubiquitous Sensing.
  Funded by Oxford Martin School, 2011-2014.
  
  
• Predictable Software Systems.
  Funded by EPSRC, 2007-2012.
  
  
• CONNECT-IP: Emergent Connectors for Eternal Software Intensive Networked Systems.
  Collaborative FP7 research project led by Professor Valerie Issarny at INRIA and including partner sites in France, Germany, Sweden, Italy, China and the UK. EU FP7, 2009-2012.
  
  
• PRISMATIC: Unified Hierarchical Probabilistic Verification Tool.
  Funded by DARPA, 2010-2011.
  
  
• Automated Quantitative Software Verification with PRISM.
  Funded by EPSRC, 2006-2010.
  
  
• UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures.
  Collaboration between University of Birmingham, UCL and Imperial College.
  Funded by EPSRC, 2006-2010.
  
  
• Shaping an International Grand Challenge Community for Ubiquitous Computing.
  Collaborative project led by Professor Tom Rodden at the University of Nottingham, 2007-2009.
  
  
• CancerGrid: Open standards for clinical cancer informatics.
  Collaboration between the universities of Cambridge, Oxford, Birmingham, UCL and Belfast.
  Funded by MRC.
  
  
• ProNoBiS: Probability and Nondeterminism, Bisimulations and Security.
  Collaboration between INRIA, ENS Cachan and the universities of Birmingham, Verona, Paris 7 and QML.
  2006-2007.
  
  
• e-Science Pilot Project on Integrative Biology.
  Collaboration between the universities of Oxford, Auckland, Nottingham, Sheffield, Leeds, Birmingham, UCL and CCLRC.
  Funded by EPSRC (GR/S72023/01), 2004-2007.
  Twiki.
  
  
• ePCRN: electronic Primary Care Research Network.
  Collaboration between the universities of Minnesota, Birmingham, Chicago and University of California San Francisco.
  Funded by National Institutes of Health.
  
  
• Predictive modeling of signalling pathways via probabilistic model checking with PRISM.
  Funded by Microsoft Research Cambridge, 2006-2007.
  
  
• Automated Verification of Probabilistic Protocols with PRISM.
  Funded by EPSRC, 2003-2006.
  
  
• Probabilistic Model Checking of Mobile Ad Hoc Network Protocols.
  Funded by EPSRC, 2003-2006.
  
  
• Verification of Quality of Service Properties in Timed Systems.
  Funded by EPSRC, 2000-2003.
  
  
• A Future Of Reliable Wireless Ad hoc networks of Roaming Devices (FORWARD).
  Funded by QinetiQ and the DTI, 2003 - 2006.
  
  
• Automatic Verification of Randomized Distributed Algorithms.
  Funded by EPSRC, 1998-2001.
  
  
• Stochastic Modelling and Verification.
  Funded by the British Council/DAAD, 1998-2001.