Foundations of Computation

15 Active
57 Finished

1 - 50 out of 72 results

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
Finished

Emulator of noisy near-term superconducting architectures
Garcia-Patron Sanchez, R.
EPSRC
1/06/21 → 31/07/22
Project: Research
Network Models For Infection Control Through Testing And Contact Tracing
Waites, W.
UK central government bodies/local authorities, health and hospital authorities
1/05/20 → 31/10/20
Project: Research
CSO RARC-19 Testing and Contact Tracing
Waites, W.
1/05/20 → 31/10/20
Project: Research
The genome of Phasmarhabditis hermaphrodita and Phasmarhabditis sp
Patras, P., Blaxter, M., Buck, A., Cheney, J., Fowler, S., Sharma, Y. & Stolarek, J.
UK-based charities, Non-EU industry, commerce and public corporations, UK industry, commerce and public corporations
14/10/19 → 31/12/22
Project: Research
Paracrawl 3: Continued Web-Scale Provision of Parallel Corpora for European Languages
Koehn, P., Heafield, K. & Waites, W.
EU government bodies
1/10/19 → 30/09/21
Project: Research
Research collaboration on SQL formalisation
Libkin, L. & Guagliardo, P.
Non-EU industry, commerce and public corporations
1/09/19 → 31/08/21
Project: Research
Studentship in property-based testing
Cheney, J. & Belle, V.
Non-EU industry, commerce and public corporations
1/09/19 → 31/08/22
Project: Research
Where software meets hardware: Verifying performance impacts of micro-architecture vulnerability mitigations
Galpin, V. & Aspinall, D.
UK central government bodies/local authorities, health and hospital authorities
1/06/19 → 31/03/20
Project: Research
Formal semantics of graph query languages
Libkin, L. & Guagliardo, P.
Other
1/10/18 → 31/12/20
Project: Research
A research collaboration in blockchain technology
Kiayias, A. & Bhatotia, P.
Non-EU industry, commerce and public corporations
1/09/18 → 31/12/22
Project: Research
Locally ensured privacy in sensor data sharing through geometric perturbations
Sarkar, R.
UK central government bodies/local authorities, health and hospital authorities
1/09/18 → 31/08/22
Project: Research
Turing Fellowship
Cheney, J.
UK-based charities
1/09/18 → 31/08/20
Project: Research
Research collaboration in graph computation
Fan, W.
Non-EU industry, commerce and public corporations
1/06/18 → 31/05/21
Project: Research
FRANK: Research Collaboration on Query Answering Systems
Bundy, A. & Fan, W.
Non-EU industry, commerce and public corporations
1/02/18 → 31/01/21
Project: Research
PRIViLEDGE: Privacy in Distributed Ledgers
Kiayias, A.
EU government bodies
1/01/18 → 30/06/21
Project: Research
FENTEC-Functional Encryption Technologies
Kiayias, A.
EU government bodies
1/01/18 → 28/02/21
Project: Research
Iterative approach to Mean-Field Games for Cyber Security
Aspinall, D.
UK-based charities
15/11/17 → 31/03/18
Project: Research
Concept and design for Command_and_Control ¿¿¿ a cyber security outreach programme
Aspinall, D.
UK central government bodies/local authorities, health and hospital authorities
1/11/17 → 31/10/18
Project: Research
Predicting the Security Behaviour of Mobile Apps (PreSBeMA)
Aspinall, D.
Non-EU other
1/11/17 → 23/04/18
Project: Research
Formal Semantics of the Cypher Query Language
Libkin, L.
Other
1/10/17 → 30/09/18
Project: Research
LogiBlox Inc. Research Funding for Dr James Cheney
Cheney, J.
Non-EU industry, commerce and public corporations
1/09/17 → 31/08/21
Project: Research
Research collaboration in data privacy
Etessami, K.
Non-EU industry, commerce and public corporations
1/09/17 → 31/08/20
Project: Research
Mechanising the metatheory of SQL with NULLS
Ricciotti, W. & Cheney, J.
UK central government bodies/local authorities, health and hospital authorities
1/08/17 → 31/03/18
Project: Research
Research on Formal Underpinnings for the Cypher Query Language
Libkin, L.
Other
6/02/17 → 5/09/17
Project: Research
Entrapping Machines
Arapinis, M. & Kashefi, E.
Non-EU other
15/01/17 → 14/01/21
Project: Research
Correct and Efficient Processing of Incomplete Data
Libkin, L.
Other (Learned Society)
1/01/17 → 31/12/21
Project: Research
GCHQ - RFA15088
Aspinall, D., Cheney, J., Gascon Caro, A., Grot, B., Sarkar, R., Vaniea, K. & Wolters, M.
UK central government bodies/local authorities, health and hospital authorities
1/11/16 → 30/07/17
Project: Research
Verification of cryptographic protocols: modular analysis of equivalence properties
Arapinis, M.
EPSRC
1/11/16 → 30/09/18
Project: Research
GCHQ - RFA15088
Aspinall, D., Cheney, J., Gascon Caro, A., Grot, B., Sarkar, R., Vaniea, K. & Wolters, M.
UK central government bodies/local authorities, health and hospital authorities
1/11/16 → 31/03/17
Project: Research
ATI PhD Studentship: Foundations of Computer Science, Databases, Software and Systems Modelling
Aspinall, D.
UK-based charities
1/10/16 → 31/03/20
Project: Research
Ox-Chain: Towards secure and trustworthy circular economies through distributed ledger technologies
Kiayias, A.
EPSRC
1/09/16 → 30/10/20
Project: Research
Skye-A programming language bridging theory and practice for scientific data curation
Cheney, J.
EU government bodies
1/09/16 → 31/08/22
Project: Research
GCHQ App Guarden 2 Research Project
Aspinall, D.
UK central government bodies/local authorities, health and hospital authorities
1/09/16 → 31/03/17
Project: Research
Formal Decomposition of Strongly coupled Systems
Danos, V.
UK industry, commerce and public corporations
1/07/16 → 30/06/19
Project: Research
C3- Scalable & Verified Shared Memory via Consistency-directed Cache Coherence
Nagarajan, V., Jackson, P. & Topham, N.
EPSRC
9/11/15 → 30/04/19
Project: Research