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
Textures Engineering & Materials Science
Color Engineering & Materials Science
Display devices Engineering & Materials Science

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

Projects 2005 2022

Research Output 1970 2018

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 journalArticle

Open Access
Energy utilization
Environmental technology
Energy conservation
Education
Decision making

A Natural Proof System for Herbrand's Theorem

Ralph, B. 2018 Symposium on Logical Foundations in Computer Science 2018. Artemov, S. & Nerode, A. (eds.). Springer, p. 289-308 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Proof system
First-order logic
Proof theory
Propositional logic
Theorem

An enriched view on the extended finitary monad-Lawvere theory correspondence

Power, A. & Garner, R. 1 Jan 2018 In : Logical Methods in Computer Science. p. 1--23 14 p.

Research output: Contribution to journalArticle

File
Monads
Correspondence
Enriched category
Bicategory
Colimit

Datasets

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

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

Dataset