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

  32. IAA2017 - Optical Imaging for detection and characterisation of Rheumatoid arthritis

    Hamid Dehghani

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/1931/03/20

    Project: Research Councils

  33. Kit Murdock Studentship

    David Oswald

    5/11/184/05/22

    Project: Other Government Departments

  34. Challenging Different Forms of Bias in Physical Science and Engineering Research

    Jon Rowe, Jo Duberley, Una Martin & Brandon Stewart

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/1830/04/21

    Project: Research Councils

  35. DCMS Msc Cyber Security Fees Bursaries for 8 students

    Ian Batten

    DEPARTMENT FOR DIGITAL, CULTURE, MEDIA & SPORT

    1/10/1830/09/19

    Project: Other Government Departments

  36. IAA2017_Formal Verification of a secure Boot Protocol

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    17/09/1816/11/18

    Project: Research Councils

  37. Steroid Metabolomics for Diagnosis of Inborn Steroidogenesis Disorders

    Peter Tino, Jon Deeks, Angela Taylor & Wiebke Arlt

    Medical Research Council

    11/09/183/03/21

    Project: Research Councils

  38. Stable Prediction of Defect-Inducing Software Changes (SPDISC)

    Leandro Minku

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    4/09/181/11/19

    Project: Research Councils

  39. Rutherford strategic partner grant 2018 – Umberto Rivieccio

    Achim Jung

    Department for Business, Energy and Industrial Strategy

    8/07/187/09/18

    Project: Other Government Departments

  40. GCHQ Summer Internship

    Mark Ryan

    2/07/181/10/18

    Project: Other Government Departments

  41. Cyber Security for the Vehicles of Tomorrow

    Flavio Garcia

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/06/1831/05/23

    Project: Research Councils

  42. H2020_ITN_ECOLE_Coordinator

    Xin Yao

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/04/1831/03/22

    Project: Research

  43. Quantum Paradigms for Classical Networking

    Jamie Vicary

    31/03/1831/03/20

    Project: Research Councils

  44. BHF Infrastructure Grant

    Steven Thomas, Natalie Poulter, Iain Styles & Steve Watson

    BRITISH HEART FOUNDATION

    27/03/1825/09/19

    Project: Research

  45. User-controlled hardware security anchors: evaluation and designs

    Flavio Garcia, David Oswald & Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/02/1831/01/23

    Project: Research

  46. H2020_RIA_FUTURETPM_PARTNER

    David Oswald, David Galindo Chacon & Mark Ryan

    EUROPEAN COMMISSION

    1/01/1831/12/20

    Project: EU

  47. Higher Categories for Compositional Science

    Jamie Vicary

    THE ROYAL SOCIETY

    1/01/1831/03/20

    Project: Research Councils

  48. IAA2017 - Sensors for Pallet Detection

    Ales Leonardis

    HYSTER-YALE UK LIMITED, ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/1830/06/19

    Project: Research

  49. Research PhD - Hyperspectral imaging for non-invasive wound assessment

    Hamid Dehghani

    Defence Science And Technology Laboratory

    1/11/1731/10/20

    Project: Other Government Departments

  50. National Centre for Nuclear Robotics (NCNR)

    Rustam Stolkin, Ales Leonardis & Bob Stone

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    2/10/1731/03/22

    Project: Research

  51. OpenHaven

    Flavio Garcia & Mark Ryan

    Government Communications Headquarters

    25/09/1724/03/21

    Project: Other Government Departments

  52. STRANDS Knowledge Transfer

    Nick Hawes

    Honda Research Institute Europe Gmbh

    3/07/172/09/18

    Project: EU

  53. Academic Centre of Excellence in Cyber Security Research - University of Birmingham

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/1730/06/22

    Project: Research Councils

  54. Hybrid Optimisation for Engines

    Xin Yao

    FORD MOTOR COMPANY

    1/07/1730/06/21

    Project: Research

  55. Robot Manipulation

    Mohan Sridharan & Morteza Azad

    Honda Research Institute Europe Gmbh

    1/07/1730/04/22

    Project: EU

  56. Research and Development into Joint decision making in Multi-criteria multi-attribute domains

    Chris Baber & Andrew Howes

    Defence Science And Technology Laboratory

    9/06/1718/12/17

    Project: Other Government Departments

  57. Robust remote sensing for multi-modal characterisation in nuclear and other extreme environments

    Ales Leonardis & Rustam Stolkin

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/05/171/11/21

    Project: Research

  58. H2020_ITN_SUNDIAL_Partner

    Peter Tino

    EUROPEAN COMMISSION, European Commission - Management Costs

    1/04/1730/09/21

    Project: Research

  59. H2020_RISE_CID_PARTNER

    Achim Jung & Martin Escardo

    EUROPEAN COMMISSION

    1/04/1731/03/21

    Project: EU

  60. Robotics for Nuclear Environments - Lead Manchester University (EP/P01366X/1)

    Ales Leonardis & Rustam Stolkin

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/1731/03/23

    Project: Research

  61. To design and produce a 'smart' sensor system for autonomous vehicles in a warehouse environment

    Nick Hawes

    KNOWLEDGE TRANSFER PARTNERSHIPS

    12/01/1711/01/19

    Project: Other Government Departments

  62. FORGING: Fortuitous Geometries and Compressive Learning

    Ata Kaban

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    9/01/178/07/22

    Project: Research Councils

  63. System-Level Game Semantics: A unifying framework for composing systems

    Dan Ghica

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/1630/11/19

    Project: Research Councils

  64. Digital Technology and Human Vulnerability: Towards an Ethical Film Praxis

    Michele Aaron & Russell Beale

    ARTS & HUMANITIES RESEARCH COUNCIL

    1/10/1631/03/17

    Project: Research Councils

  65. Next generation tools for the annotation of metabolites in global LC-MS metabolomic studies

    Warwick Dunn, Shan He, Mark Viant & Ralf Weber

    BIOTECHNOLOGY & BIOLOGICAL SCIENCES

    1/10/1631/12/17

    Project: Research Councils

  66. HP Research Chair Cyber Security (Prof M Ryan)

    Mark Ryan

    HP INC UK LTD

    1/09/161/09/22

    Project: Industry

  67. Recursion, guarded recursion and computational effects

    Paul Levy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/1631/12/19

    Project: Research Councils

  68. Internship Scheme Agreement

    Mark Ryan

    13/06/1630/09/16

    Project: Other Government Departments

  69. Semantic Foundations for Interactive Programs

    Neelakantan Krishnaswami

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/06/1631/08/17

    Project: Research Councils

  70. Cracking the Code of Adaptive Evolution (deCODE)

    James Brown, Luisa Orsini, Mark Viant, Lindsey Compton, John Colbourne & Shan He

    NATURAL ENVIRONMENT RESEARCH COUNCIL

    1/05/1631/01/22

    Project: Research Councils

  71. Newton Advanced Fellowship: Professor K Tang - Data Driven Metaheuristic Search

    Xin Yao

    THE ROYAL SOCIETY

    15/03/1614/03/19

    Project: Research Councils

Previous 1 2 3 4 5 Next