Home > Projects

Projects

  1. Video Shakkei

    Kreider, K. & O'Leary, J.

    1/06/101/09/11

    Project: Research

  2. Vestibular System: a system of mental health

    Ferrè, E. R.

    The British Psychological Society: £3,000

    1/01/1631/12/16

    Project: Research

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

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

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

  6. VENUS C Project

    Shanahan, H.

    European Union: £21,999

    1/06/1131/05/12

    Project: Research

Previous 1...4 5 6 7 8 9 10 11 ...282 Next