1. Turing Network Development Award

    Ashton, G. & Colombo, N.

    Alan Turing Institute: £24,536

    1/01/2230/09/22

    Project: Research

  2. Integers and Sorting Algorithms in Coq

    Bradley, F.

    9/11/2118/01/22

    Project: Research

  3. Demeter

    Bernardini, S.

    Innovate UK: £219,189

    1/10/2130/09/23

    Project: Research

  4. SoAR: Squads of Adaptive Robots

    Bernardini, S.

    Innovate UK: £259,698

    1/10/2130/09/23

    Project: Research

  5. SMaILE: Simple Methods for Artificial Intelligence Learning and Education

    Bernardini, S.

    Compagnia di San Paolo Foundation: £235,668

    26/02/2126/02/23

    Project: Research

  6. Conformal Martingales for Change-Point Detection

    Gammerman, A. & Vovk, V.

    Amazon: £51,095

    1/06/2031/05/21

    Project: Research

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