1. Research
  2. Transatlantic Perspectives on the Use of Data Science in Museums and Heritage

    Platts, H., Dalton, P., Howard, D. & Watkins, C.

    Arts & Humanities Res Coun AHRC: £42,515

    1/02/1930/06/20

    Project: Research

  3. Trustworthy Digital Systems - A Proposed Novel Distributed Services Architecture

    Stathis, K.

    Centre for Defense Enterprise: £69,565

    28/11/1127/05/12

    Project: Research

  4. Turing Network Development Award

    Ashton, G. & Colombo, N.

    Alan Turing Institute: £24,536

    1/01/2230/09/22

    Project: Research

  5. Type-theoretic foundation of mathematical pluralism

    Luo, Z.

    Leverhulme Trust: £56,235

    1/10/0630/09/09

    Project: Research

  6. VENUS C Project

    Shanahan, H.

    European Union: £21,999

    1/06/1131/05/12

    Project: Research

  7. Verification and correctness of service-oriented systems

    Fiadeiro, J. L.

    Eng & Phys Sci Res Council EPSRC: £6,700

    1/10/1231/12/12

    Project: Research

  8. Verification of Concurrent and Higher-Order Recursive Programs

    Hague, M.

    Eng & Phys Sci Res Council EPSRC: £469,677

    1/05/1330/04/18

    Project: Research

  9. CLeVer: Verification of Hardware Concurrency via Model Learning

    Sammartino, M.

    Eng & Phys Sci Res Council EPSRC: £313,577

    6/01/2030/09/22

    Project: Research

  10. Other
  11. Probabilistic Combinatorics: Marking Colin McDiarmid's Retirement

    Gerke, S.

    London Mathematical Society: £6,000

    9/04/1610/04/16

    Project: Other

  12. Visiting Proferssorship_Professor Fabio Fagnani

    Bernardini, S. & Fagnani, F.

    Leverhulme Trust: £27,600

    25/11/1926/07/20

    Project: Other

Previous 1 2 3 4 5 Next