Projects per year
- 1 - 50 out of 57 results
Search results
-
Finished
-
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
-
-
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.
1/10/19 → 30/09/21
Project: Research
-
Research collaboration on SQL formalisation
Non-EU industry, commerce and public corporations
1/09/19 → 31/08/21
Project: Research
-
Studentship in property-based testing
Non-EU industry, commerce and public corporations
1/09/19 → 31/08/22
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
-
-
Research collaboration in graph computation
Non-EU industry, commerce and public corporations
1/06/18 → 31/05/21
Project: Research
-
FRANK: Research Collaboration on Query Answering Systems
Non-EU industry, commerce and public corporations
1/02/18 → 31/01/21
Project: Research
-
-
-
-
-
-
LogiBlox Inc. Research Funding for Dr James Cheney
Non-EU industry, commerce and public corporations
1/09/17 → 31/08/21
Project: Research
-
Research collaboration in data privacy
Non-EU industry, commerce and public corporations
1/09/17 → 31/08/20
Project: Research
-
Mechanising the metatheory of SQL with NULLS
UK central government bodies/local authorities, health and hospital authorities
1/08/17 → 31/03/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 → 30/07/17
Project: Research
-
Verification of cryptographic protocols: modular analysis of equivalence properties
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
1/10/16 → 31/03/20
Project: Research
-
Ox-Chain: Towards secure and trustworthy circular economies through distributed ledger technologies
1/09/16 → 30/10/20
Project: Research
-
Skye-A programming language bridging theory and practice for scientific data curation
1/09/16 → 31/08/22
Project: Research
-
GCHQ App Guarden 2 Research Project
UK central government bodies/local authorities, health and hospital authorities
1/09/16 → 31/03/17
Project: Research
-
Formal Decomposition of Strongly coupled Systems
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.
9/11/15 → 30/04/19
Project: Research
-
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.
1/11/15 → 31/10/19
Project: Research
-
-
-
-
Panoramix:Privacy and Accountability in Networks via Optimized Randomized Mix-nets
1/09/15 → 31/01/19
Project: Research
-
-
-
-
A West-Coast Internet Backbone
UK industry, commerce and public corporations
1/05/15 → 28/02/19
Project: Research
-
Robustness-as-evolvability: building a dynamic control plane with Software-Defined Networking
Aspinall, D. & Lee, M.
1/04/15 → 31/03/18
Project: Research
-
VADA: Value Added Data Systems: Principles and Architecture
Libkin, L., Buneman, P., Fan, W. & Pieris, A.
1/04/15 → 30/09/20
Project: Research
-
UK Quantum Technology Hub: NQIT - Networked Quantum Information Technologies
1/12/14 → 30/11/19
Project: Research
-
SynthSys-Mammalian: Edinburgh Mammalian Synthetic Biology Research Centre
Rosser, S., Bird, A., Cai, Y., Earnshaw, B., Millar, A., Molina, N., Pilizota, T., Swain, P. & Waites, W.
14/11/14 → 31/03/22
Project: Research
-
SynthSys-Mammalian: Edinburgh Mammalian Synthetic Biology Research Centre
14/11/14 → 31/03/22
Project: Research
-
Sublinear Algorithms for Approximating Probability Distribution
Diakonikolas, I.
1/09/14 → 31/08/15
Project: Research