1. Integers and Sorting Algorithms in Coq

    Bradley, F.

    9/11/2118/01/22

    Project: Research

  2. Turing Network Development Award

    Ashton, G. & Colombo, N.

    Alan Turing Institute: £24,536

    1/01/2230/09/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. Intelligence in Context

    Watkins, C.

    1/01/2015/08/21

    Project: Research

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