School of Informatics

Sethi, N. (Principal Investigator), Kokciyan, N. (Co-investigator), Rovatsos, M. (Co-investigator), Vallor, S. (Co-investigator) & Vierkant, T. (Co-investigator)

Other

1/01/22 → 30/06/24

Project: Research

Wellcome Trust Postdoctoral Research Fellowship in Humanities and Social Science: "Techno-scientific Imaginaries of Socially Assistive Robots (SARs): A Comparative Study of How ‘Caring Machines’ Shape What It Means to Care"

De Togni, G. (Principal Investigator)

1/01/22 → 31/12/24

Project: Research

Flexible Transport Scale-Out with Modern NICs

Honda, M. (Principal Investigator)

Non-EU industry, commerce and public corporations

1/01/22 → 31/12/22

Project: Research

Making AI Intelligible for Public Service Journalists

Jones, B. (Principal Investigator) & Luger, E. (Co-investigator)

ESRC

1/01/22 → 31/10/22

Project: Research

Virtual Memory for Post-Moore Servers

Grot, B. (Principal Investigator)

Non-EU industry, commerce and public corporations

1/01/22 → 31/12/24

Project: Research

Making Systems Answer: Dialogical Design As A Bridge For Responsibility Gaps In Trustworthy Autonomous Systems

Kokciyan, N. (Principal Investigator) & Rovatsos, M. (Co-investigator)

1/01/22 → 30/06/24

Project: Research

Making Systems Answer: Dialogical Design as a Bridge for Responsibility Gaps in Trustworthy Autonomous Systems

Vallor, S. (Principal Investigator), Kokciyan, N. (Co-investigator), Rovatsos, M. (Co-investigator), Sethi, N. (Co-investigator) & Vierkant, T. (Co-investigator)

UKRI (formerly RCUK)

1/01/22 → 31/10/24

Project: Research

ANYmal Deployment at Live Chevron Facility

Mistry, M. (Principal Investigator)

UK central government bodies/local authorities, health and hospital authorities

16/12/21 → 15/06/22

Project: Research

ANYmal Deployment at Live Chevron Facility

Mistry, M. (Principal Investigator)

Net Zero Technology Centre Ltd

16/12/21 → 28/02/23

Project: Research

Analysing SQA data to understand uptake and completion of CS at exam level in schools in Scotland

Mcneill, F. (Principal Investigator)

UK-based charities

1/12/21 → 31/05/22

Project: Research

Analysing SQA data to understand uptake and completion of CS at exam level in schools in Scotland

Mcneill, F. (Principal Investigator)

The Council of Professor and Heads of Computing

1/12/21 → 31/05/22

Project: Research

Effectful theories of programming languages: mathematically structured programming

Kammar, O. (Principal Investigator)

Royal Society

1/12/21 → 31/12/23

Project: Research

Effectful theories of programming languages: mathematically structured programming

Kammar, O. (Principal Investigator)

Other (Learned Society)

1/12/21 → 31/12/23

Project: Research

C6: Correct-by-Construction Heterogeneous Coherence

Nagarajan, V. (Principal Investigator) & Grosser, T. (Co-investigator)

EPSRC

15/11/21 → 14/11/24

Project: Research

Consultancy for Digital Futures Commission: ‘Playful by Design’

Pschetz, L. (Collaborator)

3/11/21 → 30/09/22

Project: Consultancy

PUZZLED

English, A. (Principal Investigator), Fisher, B. (Principal Investigator) & Linson, A. (Researcher)

2/11/21 → 31/12/21

Project: Research

ST/W006871/1 : Graphcore IPU benchmarking and development

Jackson, A. (Principal Investigator)

1/11/21 → 30/06/22

Project: Research

Graphcore IPU benchmarking and development

Jackson, A. (Co-investigator)

1/11/21 → 1/06/22

Project: Research

Coupling codes

Jackson, A. (Principal Investigator)

1/11/21 → 30/11/22

Project: Consultancy

Neuromorphic hardware design with local memory for controlling robots

Webb, B. (Principal Investigator)

UK-based charities

1/11/21 → 2/05/22

Project: Research

CAPS-AI: Constructing the Agenda: Public Service AI in News and Media Production

Jones, B. (Principal Investigator), Luger, E. (Co-investigator) & Bell, P. (Co-investigator)

1/11/21 → 31/01/22

Project: University Awarded Project Funding

Formalising Haag-Kastler Nets in Higher-order Logic

Fleuriot, J. (Principal Investigator)

EU other

1/11/21 → 31/10/24

Project: Research

Noise Analysis and Mitigation for Scalable Quantum Computation

Wallden, P. (Principal Investigator) & Garcia-Patron Sanchez, R. (Co-investigator)

UK central government bodies/local authorities, health and hospital authorities

1/10/21 → 31/03/23

Project: Research

Predicting unplanned hospital readmission prior to discharge in patients with COVID¿19: development, comparison and implementation of regression and machine-learning based risk prediction models (4C readmission model)

Seth, S. (Principal Investigator)

UK-based charities

1/10/21 → 30/09/22

Project: Research

AI driven risk quantification for fire spread in informal settlements through integration of information from geographical information systems, local infrastructure and environmental attributes

Seth, S. (Principal Investigator)

UK-based charities

1/10/21 → 15/02/22

Project: Research

Artificial Intelligence prediction methods for overcoming chemotherapy resistance in cancer

Oyarzun, D. (Principal Investigator)

Royal Society Of Edinburgh

1/10/21 → 31/03/22

Project: Research

Predicting unplanned hospital readmission prior to discharge in patients with COVID�19: development, comparison and implementation of regression and machine-learning based risk prediction models (4C readmission model)

Harrison, E. (Principal Investigator), Baillie, K. (Co-investigator), Docherty, A. (Co-investigator), Jackson, T. (Co-investigator), Lone, N. (Co-investigator), Seth, S. (Co-investigator) & Shah, A. (Co-investigator)

Health Data Research UK

1/10/21 → 31/01/23

Project: Research

Noise Analysis and Mitigation for Scalable Quantum Computation

Wallden, P. (Principal Investigator) & Garcia-Patron Sanchez, R. (Co-investigator)

Innovate UK

1/10/21 → 31/07/23

Project: Research

School of Informatics

Projects

Search results