Projects per year
Search results
-
Active
DTP 2224 University of Strathclyde | Roy, Om
Smith, K. (Principal Investigator), Atkey, B. (Co-investigator) & Roy, O. (Research Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/24 → 1/04/28
Project: Research Studentship - Internally Allocated
-
Quantitative Predicate Logic as a Foundation for Verified ML (ElePQuant)
Atkey, B. (Principal Investigator) & Mardare, R. (Co-investigator)
Advanced Research + Invention Agency ARIA
12/09/24 → 31/08/25
Project: Research
-
Finished
AISEC: AI Secure and Explainable by Construction
Atkey, B. (Principal Investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/06/20 → 9/06/24
Project: Research
-
KTP - Cambridge Quantum Computing (CQC) / R190328-202
McBride, C. (Principal Investigator), Atkey, B. (Co-investigator) & Nordvall Forsberg, F. (Co-investigator)
Cambridge Quantum Computing Limited
24/02/20 → 23/02/22
Project: Research - Internally Allocated
-
KTP - Cambridge Quantum Computing (CQC)
McBride, C. (Principal Investigator), Atkey, B. (Co-investigator) & Nordvall Forsberg, F. (Co-investigator)
Cambridge Quantum Computing Limited, KTP Govt (Momenta)
24/02/20 → 23/02/22
Project: Research
-
Industrial Case Account - University of Strathclyde 2019 | Fontana, Enrico
Kupke, C. (Principal Investigator), Atkey, B. (Co-investigator) & Fontana, E. (Research Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/19 → 1/04/24
Project: Research Studentship Case - Internally allocated
-
‘Social smart contracts’ for food safety
Terzis, S. (Principal Investigator), Atkey, B. (Co-investigator) & Chapman, J. (Co-investigator)
11/12/17 → 29/03/18
Project: Knowledge Exchange
-
KTP - Symphonic Software
Atkey, B. (Principal Investigator) & Kupke, C. (Co-investigator)
Symphonic Software Ltd, KTP Govt (Momenta)
6/02/17 → 5/02/19
Project: Research