|
| 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
|
| |
|
|
|
|