Department of Computer Science

Subtype Universes in a Flat Type Theory

Bradley, F.

19/04/22 → …

Project: Research

Turing Network Development Award

Ashton, G. & Colombo, N.

Alan Turing Institute: £24,536

1/01/22 → 30/09/22

Project: Research

Integers and Sorting Algorithms in Coq

Bradley, F.

9/11/21 → 18/01/22

Project: Research

VersaTile – Transforming warehousing and distribution with industry leading AI planning and system controls

Bernardini, S.

Innovate UK: £328,462

1/11/21 → 31/10/23

Project: Research

Demeter

Bernardini, S.

Innovate UK: £219,189

1/10/21 → 30/09/23

Project: Research

SoAR: Squads of Adaptive Robots

Bernardini, S.

Innovate UK: £259,698

1/10/21 → 30/09/23

Project: Research

SMaILE: Simple Methods for Artificial Intelligence Learning and Education

Bernardini, S.

Compagnia di San Paolo Foundation: £235,668

26/02/21 → 26/02/23

Project: Research

Conformal Martingales for Change-Point Detection

Gammerman, A. & Vovk, V.

Amazon: £51,095

1/06/20 → 31/05/21

Project: Research

New advances in insecticide resistance genomics: using Machine Learning to predict resistance phenotype from large-scale genomic data

Paccanaro, A.

Medical Research Council MRC: £32,214

26/05/20 → 30/11/22

Project: Research

Developing Creative Methods of Sensing Air in Villa Inflamable, Argentina

Engelmann, S., Kuenzel, S., Tisan, A., Fisher, R., Lowry, D., Nisbet-Jones, P., Adey, P., Clemitshaw, K., France, J. & Johnstone, A.

1/04/20 → 31/07/21

Project: Research