1. EPSRC CDT2

    Cid, C., Paterson, K., Mayes, K., Martin, K. M., Kinder, J. & Adey, P.

    Eng & Phys Sci Res Council EPSRC: £3,454,896

    1/10/1631/03/23

    Project: Research

  2. Automated Security Testing of Webview Interfaces

    Kinder, J.

    Google: £42,357

    1/02/1631/01/18

    Project: Research

  3. PLanCompS: PLanCompS: Programming Language Components and Specifications

    Johnstone, A., Scott, E., Reddington, J. & Walsh, R.

    Eng & Phys Sci Res Council EPSRC: £491,077

    1/06/1131/05/15

    Project: Research