Computer Science

Organisational unit: School

Research Projects

  1. Trait and State Impulsivity in Maltreated Children

    Peter Tino & Stephane De Brito

    ECONOMIC & SOCIAL RESEARCH COUNCIL

    4/12/2130/11/24

    Project: Research Councils

  2. Post-Quantum Cryptography: a Cryptanalysis Approach

    Christophe Petit

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/2130/09/26

    Project: Research Councils

  3. Modelling Oceanic Internal Waves with Machine Learning Approaches

    Shuo Wang

    THE ROYAL SOCIETY

    10/08/219/08/23

    Project: Research Councils

  4. Cross-Ledger Privacy & Deanonymization

    Pascal Berrang

    Federal Office for Defence Procurement armasuisse

    1/08/2131/07/22

    Project: Research

  5. EPSRC IAA 2021 (R9): Hamid Dehghani FOF - All optical personalised monitoring system for Rheumatoid Arthritis

    Hamid Dehghani

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/2131/03/22

    Project: Research Councils

  6. Efficient Quantization Techniques for Deep Learning in Embedded System

    Hyung Jin Chang

    Ministry of Science and ICT

    1/05/2130/04/22

    Project: Research

  7. The ExCALIBUR Capital Programme: Supporting Hardware and Enabling Software 2020-2021

    Iain Styles

    SCIENCE & TECHNOLOGY FACILITIES COUNCIL

    1/04/2131/03/22

    Project: Research Councils

  8. Diversity Denoising for Unbiased Intensity Quantification in Fluorescence Microscopy

    Yunwen Lei & Alexander Krull

    Medical Research Council

    1/03/2131/08/21

    Project: Research Councils

  9. Next generation deep tissue quantitative optical imaging

    Hamid Dehghani

    NATIONAL INSTITUTE OF HEALTH, USA

    1/01/2131/12/24

    Project: Research

  10. Turing AI Fellowship: Rigorous time-complexity analysis of co-evolutionary algorithms

    Per Kristian Lehre

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/2131/12/25

    Project: Research Councils

  11. Nominal String Diagrams

    Dan Ghica

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/2030/11/23

    Project: Research Councils

  12. GSK Studentship - Multimodal Image Analysis

    Iain Styles

    Glaxosmithkline

    1/11/2031/10/24

    Project: Industry

  13. Baskerville: a national accelerated compute resource

    Biao Cai & Iain Styles

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL, Lenovo UK Limited

    13/10/2012/10/24

    Project: Research Councils

  14. Novel Digital Twins for Monitoring Compliance Debts

    Leandro Minku, Duc Pham & Rami Bahsoon

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/09/2020/02/22

    Project: Research Councils

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

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

    Max Little

    NATIONAL INSTITUTE OF HEALTH, USA

    1/08/2031/07/22

    Project: Research

  17. Explainable Reasoning and Learning for Ad hoc Multiagent Teamwork

    Mohan Sridharan

    OFFICE OF NAVAL RESEARCH USA

    1/06/2031/05/23

    Project: Research

  18. Structure vs. Invariants in Proofs (StrIP)

    Anupam Das

    Medical Research Council

    1/05/2030/04/24

    Project: Research Councils

  19. Effective signage to prevent Trespass

    Chris Baber & Anson Jack

    NETWORK RAIL INFRASTRUCTURE LTD

    27/04/207/09/20

    Project: Industry

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

    Vincent Rahli

    Verified Trustworthy Software Systems

    1/04/2030/09/21

    Project: Research

  21. Machine Learning in the Space of Inferential Models

    Peter Tino

    Alan Turing Institute

    1/04/2031/12/21

    Project: Research

  22. A theory of type theories

    Benedikt Ahrens

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/03/2028/02/22

    Project: Research Councils

  23. SIPP - Secure IoT Processor Platform with Remote Attestation

    David Oswald & Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/1930/11/22

    Project: Research Councils

  24. BURG: Benchmarks for UndeRstanding Grasping

    Ales Leonardis & Mohan Sridharan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/1931/10/22

    Project: Research Councils

  25. H2020_ERC_FUN2MODEL_PARTNER

    David Parker

    EUROPEAN COMMISSION

    1/10/1930/09/24

    Project: EU

  26. Adversarially-robust neural networks for cyber security

    Mark Ryan

    G.C.H.Q.

    30/09/1931/03/23

    Project: Other Government Departments

  27. Hyundai Comp Sci Placement

    Hyung Jin Chang

    HYUNDAI MOTOR COMPANY

    1/08/1931/12/47

    Project: Industry

  28. Human Engagement through artificial / augmented intelligence (via Lancaster University)

    Ian Apperly & Chris Baber

    ECONOMIC & SOCIAL RESEARCH COUNCIL

    1/06/1930/09/20

    Project: Research Councils

  29. Isogeny-Based Cryptography: From Theory to Practice

    Christophe Petit

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    25/03/1924/03/22

    Project: Research Councils

  30. Higher Algebra and Quantum Protocols

    Jamie Vicary

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    4/03/1931/03/20

    Project: Research Councils

  31. Turing Fellowship

    Ata Kaban

    Alan Turing Institute

    24/01/1923/01/21

    Project: Research

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