1. Visiting Proferssorship_Professor Fabio Fagnani

    Bernardini, S. & Fagnani, F.

    Leverhulme Trust: £27,600

    25/11/1926/07/20

    Project: Other

  2. 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

  3. 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

  4. 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

  5. VENUS C Project

    Shanahan, H.

    European Union: £21,999

    1/06/1131/05/12

    Project: Research

  6. Type-theoretic foundation of mathematical pluralism

    Luo, Z.

    Leverhulme Trust: £56,235

    1/10/0630/09/09

    Project: Research

  7. Turing Network Development Award

    Ashton, G. & Colombo, N.

    Alan Turing Institute: £24,536

    1/01/2230/09/22

    Project: Research

Previous 1 2 3 4 5 6 7 8 ...12 Next