• Country: United Kingdom
Filter by Funder:
148 projects, page 1 of 30
  • project . 2010 - 2010
    Funder: UKRI Project Code: EP/H043055/1
    Funder Contribution: 31,980 GBP
    Partners: University of Edinburgh, MICROSOFT RESEARCH LIMITED

    FLoC (Federated Logic Conference) is a quadrennial two-week event that brings together eight top conferencesapplying methods of logic in computer science, and about 60 workshops. The area is of great importance to computing research: logic provides computer science with...

  • project . 2019 - 2020
    Funder: UKRI Project Code: EP/R033064/1
    Funder Contribution: 429,478 GBP
    Partners: University of Edinburgh, MICROSOFT RESEARCH LIMITED

    Individuals are increasingly reliant on digital applications and services to store photos, documents, notes and other valued personal data. They are also accustomed to - and tacitly accept as a hidden cost of using otherwise 'free' services - these applications amassing...

  • project . 2010 - 2011
    Funder: UKRI Project Code: EP/H017143/1
    Funder Contribution: 95,873 GBP
    Partners: University of Lincoln, MICROSOFT RESEARCH LIMITED

    Seabird populations are a valuable and accessible indicator of marine health: population changes have been linked with fish stock levels, climate change, and pollution. However, the most recent reports indicate that many UK seabird colonies are in decline, and suffering...

  • project . 2020 - 2023
    Funder: UKRI Project Code: EP/V000365/1
    Funder Contribution: 879,241 GBP
    Partners: MICROSOFT RESEARCH LIMITED, Imperial College London

    Programming and deployment models for cloud native applications have shifted from virtual machines (VMs), to container-based microservices, and now serverless function-as-service (FaaS) applications, yet security concerns for cloud native applications remain. Tenants mu...

  • project . 2020 - 2025
    Funder: UKRI Project Code: EP/T005637/1
    Funder Contribution: 1,639,370 GBP
    Partners: University of Cambridge, MICROSOFT RESEARCH LIMITED

    Artificial intelligence systems have recently led to significant advances in the state-of-the-art in downstream fields including computer vision, speech and natural language processing, and game playing. Although impressive, these advances mask a set of fundamental limi...

148 projects, page 1 of 30
Any information missing or wrong?Report an Issue