Projects 2005 2023

Filter
Finished

3D scan: To build a 3D bodyscanner

Young, M. & Yang, Y.

1/10/1730/09/18

Project: Other

Collaboration with Ekaterina Comendantskaya

Power, J.

London Mathematical Society

1/08/1731/07/18

Project: UK charity

Game Technology as an Intervention for Public Understanding of Sociality

Bryson, J., Coman, A. & Reidl, M.

1/08/171/08/19

Project: Research-related funding

DOVE - Deformable Objects for Virtual Environments

Cosker, D.

Innovate UK

1/06/1730/11/18

Project: Central government, health and local authorities

Transparency in AI through 'muttering' robots

Wortham, R. & Rogers, V.

1/12/161/12/17

Project: Research-related funding

Higher Category Theoretic Structure of Programming Semantics

Power, J.

The Royal Society

11/11/1611/11/18

Project: Research council

Semantics

When AI Goes to War: Youth Opinion, Modern Conflict, and Autonomous Weapons

Perez Vallejos, E., Wortham, R. & Miakinkov, E.

29/07/1630/04/17

Project: Research-related funding

outreach
researchers
history
methodology
algebra

HARPC: HMC for Augmented Reality Performance Capture

Cosker, D.

Innovate UK

6/06/1631/01/19

Project: Central government, health and local authorities

social cohesion
solidarity
funeral
artist
museum
Information management
Innovation
Semantics
Social sciences
Energy utilization

International Research Initiator Scheme - Game Semantics for Logics of Formal Inconsistency

Baskent, C.

1/03/1630/09/16

Project: Research-related funding

GW4 Coding

Davenport, J., Calway, A., Burnap, P., Everson, R. & Murphy, E.

2/02/1630/06/16

Project: Research-related funding

KTP with The Imaginarium Studios Limited

Cosker, D. & Willis, P.

Innovate UK

1/09/156/06/17

Project: Central government, health and local authorities

Global Mobility Scheme - Complexity Theory

Davenport, J.

1/01/151/09/15

Project: Research-related funding

Social Stories and ASD

Johnson, H.

The Leverhulme Trust

3/11/142/11/16

Project: UK charity

Computer vision
Computer graphics
Color
Weighing
Computer science
Semantics
Computer programming languages
Object oriented programming
Model checking
Polymorphism
Image understanding
Visualization
Special effects
Monitoring
Sensors

CLAFIS

Johnson, P. & Hourizi, R.

European Commission

1/11/1331/10/16

Project: EU Commission

Farms
Crops
Automation
Information management
Specifications

ALPUIS

McCusker, G. & Ioannidis, C.

Engineering and Physical Sciences Research Council

1/11/1330/04/18

Project: Research council

Industry
Computer science
Mathematical models
Economics
Security systems

ALPUIS

Ioannidis, C. & McCusker, G.

Engineering and Physical Sciences Research Council

1/10/1330/04/18

Project: Research council

Industry
Computer science
Mathematical models
Economics
Security systems
Logic programming
Computer programming languages
Functional programming
Bottles
Computer programming
Communication
Intellectual property
Electronic mail
Computer aided design
Productivity