Home > Projects

Projects

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

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

  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. Vestibular System: a system of mental health

    Ferrè, E. R.

    The British Psychological Society: £3,000

    1/01/1631/12/16

    Project: Research

  5. Video Shakkei

    Kreider, K. & O'Leary, J.

    1/06/101/09/11

    Project: Research

  6. VideoActive Creating access to Europe's Audiovisual heritage

    Ellis, J. & Turnock, R.

    European Union: £176,474

    1/10/0630/09/09

    Project: Research

  7. Views from the Holiday Inn, Geopolitics, urban war and memory in Beirut

    Fregonese, S.

    British Academy: £7,301

    1/05/1131/12/12

    Project: Research