Organization profile

Organisation profile

Our research is strongly inter-disciplinary and combines practical application with a strong theoretical understanding. It is concerned with systems-wide issues in computer science ranging from mathematical foundations through visual and cognitive processes to media technology, human-centred design and collaborative systems.

REF 2014 results

The results of the Research Evaluation Framework (REF) 2014 confirm the excellence of the research undertaken in the department. View REF 2014 results of departments of the Faculty of Science.

PhD projects

For a list of our ongoing PhD research projects please see our Current PhDs.

Research centres

Research themes

Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Semantics Engineering & Materials Science

Animation Engineering & Materials Science

Cameras Engineering & Materials Science

Robots Engineering & Materials Science

Algebra Engineering & Materials Science

Monads Mathematics

Decomposition Engineering & Materials Science

Game Semantics Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

Emy Agren

E.S.Agren@bath.ac.uk

Department of Computer Science

Person: Doctor of Philosophy

Youssef Alami Mejjati

Y.Alami.Mejjati@bath.ac.uk

Department of Computer Science - Marie Curie Fellow
Centre for the Analysis of Motion, Entertainment Research & Applications

Person: Researcher, Doctor of Philosophy

Shahad Almansour

S.M.A.Almansour@bath.ac.uk

Department of Computer Science

Person: Doctor of Philosophy

Projects 2005 2022

3 Not started
20 Active
117 Finished

NCCE - SW Partnership: National Centre for Computing Education - South West Partnership

Hayhoe, S. & Davenport, J.

7/01/19 → 31/10/19

Project: Central government, health and local authorities › Transfer (professional training)

Typed Lambda-Calculi with Sharing and Unsharing

Heijltjes, W.

1/01/19 → 31/12/21

Project: Research council

The Rheumatoid Arthritis Flare Up Profiler

Cosker, D. & Campbell, N.

1/09/18 → 31/12/19

Project: Central government, health and local authorities

Research Output 1970 2019

The Institute of Coding: Addressing the UK Digital Skills Crisis

Davenport, J., Hourizi, R., Hayes, A. & Crick, T., 2019, Computing Education Practice '19. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

1 Citations

A Computational Model for Designing Energy Behaviour Change Interventions

Mogles, N., Padget, J., Thomas, E., Walker, I. & Lee, J., 1 Mar 2018, In : User Modeling and User-Adapted Interaction. 28, 1, p. 1-34

Research output: Contribution to journal › Article

Open Access

energy

energy consumption

Energy utilization

Environmental technology

literacy

A fully abstract game semantics for countable nondeterminism

Gowers, W. J. & Laird, J. D., 1 Aug 2018, Computer Science Logic 2018, CSL 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 24

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

Semantics

Datasets

Dataset for 'How smart do smart meters need to be?'

Mogles, N. (Creator), Walker, I. (Creator), Ramallo Gonzalez, A. (Creator), Lee, J. (Creator), Natarajan, S. (Creator), Padget, J. (Creator), Thomas, E. (Creator), Hyniewska, S. (Creator), Lovett, T. (Creator), Ren, G. (Creator), O'Neill, E. (Creator), Hourizi, R. (Creator), Coley, D. (Creator), University of Bath, 1 Oct 2016

DOI: 10.15125/BATH-00256

Dataset