Foundations of Computation

15 Active
57 Finished

15 results

Filter

Active

MDE-Net: A UK Expert Network in Model-Driven Engineering
Stevens, P.
EPSRC
1/01/21 → 31/12/23
Project: Research
Making Database Systems Learn and Making them Robust
Cao, Y.
Other
1/10/20 → 30/09/25
Project: Research
Verification of machine learning algorithms using symbolic logic
Aspinall, D.
EPSRC
2/09/20 → 1/09/23
Project: Research
A research collaboration in data management
Cao, Y., Buneman, P. & Fan, W.
Non-EU industry, commerce and public corporations
1/09/20 → 31/08/23
Project: Research
AISEC: AI Secure and Explainable by Construction
Aspinall, D. & Schafer, B.
EPSRC
1/09/20 → 31/08/23
Project: Research
AirQKD : product of a UK industry pipeline
Kashefi, E. & Arapinis, M.
UK central government bodies/local authorities, health and hospital authorities
1/07/20 → 30/06/23
Project: Research
EPSRC Hub in Quantum Computing and Simulation
Kashefi, E., Arapinis, M., Heunen, C. & Wallden, P.
EPSRC
1/12/19 → 30/11/24
Project: Research
Digital Security by Design (DSbD) Technology Platform Prototype
Stark, I.
UK central government bodies/local authorities, health and hospital authorities
1/11/19 → 31/03/24
Project: Research
Combining Viewpoints in Quantum Theory (Ext.)
Heunen, C.
EPSRC
1/07/19 → 30/04/23
Project: Research
CHANCELLORS FELLOWSHIP - Yang Cao
Cao, Y.
1/09/18 → 31/08/23
Project: Research
Efficient Querying of Inconsistent Data
Pieris, A. & Libkin, L.
EPSRC
1/09/18 → 31/08/23
Project: Research
Research collaboration on dependency theory
Fan, W.
Non-EU industry, commerce and public corporations
1/09/17 → 1/02/24
Project: Research
Confidential: Academic Centre of Excellence in Cyber Security Research Support Fund
Aspinall, D.
EPSRC
1/07/17 → 30/06/23
Project: Research
Collaboration Framework between Input Output Hongkong and UoE
Kiayias, A.
Non-EU industry, commerce and public corporations
1/02/17 → 28/02/25
Project: Research
Distributed Data Management and Processing Laboratory
Fan, W.
Non-EU industry, commerce and public corporations
1/01/17 → 30/09/24
Project: Research