EPSRC logo
Researcher Details
 
Name: Professor MZ Kwiatkowska
Organisation: University of Oxford
Department: Computer Science
Current EPSRC-Supported Research Topics:
Algebra & Geometry Artificial Intelligence
Fundamentals of Computing Statistics & Appl. Probability

Current EPSRC Support
EP/Y028872/1 Mathematical Foundations of Intelligence: An "Erlangen Programme" for AI(C)
EP/V056883/1 FAIR: Framework for responsible adoption of Artificial Intelligence in the financial seRvices industry(C)
Previous EPSRC Support
EP/M019918/1 Mobile Robotics: Enabling a Pervasive Technology of the Future(C)
EP/F013442/1 Shaping an International Grand Challenge Community for Ubiquitous Computing(C)
EP/D07956X/2 Automated quantitative software verification with PRISM(P)
EP/F001096/1 LSCITS-RPv2: Large-Scale Complex IT Systems Initiative - Research Programme v2(C)
EP/D076625/2 UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures(P)
EP/D07956X/1 Automated quantitative software verification with PRISM(P)
EP/D076625/1 UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures(P)
GR/S72023/01 eScience Pilot Project in Integrative Biology(C)
GR/S46727/01 Probabilistic Model Checking of Mobile Ad Hoc Network Protocols(P)
GR/S27252/01 A Midlands e-Science Centre of Excellence Proposal:Modelling and Analysis of Large Complex Systems(P)
GR/S11091/01 An Integrated Framework for Formal Verification and Distributed Simulation of Asynchronous Hardware(C)
GR/S11107/01 Automated Verification of Probabilistic Protocols with Prism(P)
GR/R02214/01 The Feature Construct In Programming and Specification Languages(C)
GR/N31573/01 MODELLING AND VERIFICATION OF SOFT DEADLINES(P)
GR/N22960/01 VERIFICATION OF QUALITY OF SERVICE PROPERTIES IN TIMED SYSTEMS(P)
GR/M13046/01 FORMAL ANALYSIS OF RANDOMIZED DISTRIBUTED ALGORITHMS(P)
GR/M04617/01 AUTOMATIC VERIFICATION OF RANDOMIZED DISTRIBUTED ALGORITHMS(P)
GR/K42028/01 REASONING WITH FAIRNESS(P)
GR/J50576/01 REASONING WITH FAIRNESS(P)
GR/F93050/01 APPLICATIONS OF METRIC SPACE THEORY TO NON-INTERLEAVING CONCURRENCY(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator