Computer Science

Organisational unit: School

Research Projects

  1. CAP-TEE: Capability Architectures in Trusted Execution

    Mark Ryan, Richard J Thomas, Mihai Ordean, Sujoy Sinha Roy, Flavio Garcia & David Oswald

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    12/08/2011/06/24

    Project: Research Councils

  2. Morris K. Udall Center at the University of Rochester

    Max Little

    NATIONAL INSTITUTE OF HEALTH, USA

    1/08/2031/07/22

    Project: Research

  3. Explainable Reasoning and Learning for Ad hoc Multiagent Teamwork

    Mohan Sridharan

    OFFICE OF NAVAL RESEARCH USA

    1/06/2031/05/23

    Project: Research

  4. Structure vs. Invariants in Proofs (StrIP)

    Anupam Das

    Medical Research Council

    1/05/2030/04/24

    Project: Research Councils

  5. Effective signage to prevent Trespass

    Chris Baber & Anson Jack

    NETWORK RAIL INFRASTRUCTURE LTD

    27/04/207/09/20

    Project: Industry

  6. Aion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment

    Vincent Rahli

    Verified Trustworthy Software Systems

    1/04/2030/09/21

    Project: Research

  7. Machine Learning in the Space of Inferential Models

    Peter Tino

    Alan Turing Institute

    1/04/2031/12/21

    Project: Research

  8. A theory of type theories

    Benedikt Ahrens

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/03/2028/02/22

    Project: Research Councils

Previous 1 2 3 4 5 6 7 8 ...48 Next