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 Dive into the research topics where Department of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

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


    Research Output

    A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus

    Laird, J., 2020, Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Cham, Switzerland: Springer, p. 422-441 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12077 LNCS).

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

    Open Access
    1 Downloads (Pure)

    Affect Recognition using Psychophysiological Correlates in High Intensity VR Exergaming

    Barathi, S. C., Proulx, M., O'Neill, E. & Lutteroth, C., 16 Jan 2020, (Acceptance date) Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, U.S.A.: Association for Computing Machinery, Vol. 2020-April. p. 1-15 15 p. (CHI: Conference on Human Factors and Computing Systems).

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

    Open Access
    82 Downloads (Pure)

    A general Chinese chatbot based on deep learning and its’ application for children with ASD

    Zhong, H., Li, X., Zhang, B. & Zhang, J., Jul 2020, In : International Journal of Machine Learning and Computing. 10, 4, p. 519-526

    Research output: Contribution to journalArticle

    Open Access


    How we remember war and violence: theory and practice UNREST MOOC

    Parish, N. (Creator), Sené, A. (Creator), Berger, S. (Researcher), Kansteiner, W. (Researcher), Ferrandiz, F. (Researcher), Hristova, M. (Researcher), Rowley, E. (Researcher), Bull, A. (Researcher), Reynolds, C. (Researcher), Grinat, D. (Researcher), De Angeli, D. (Researcher) & Gonzalez-Martin, D. (Researcher), University of Bath, 29 Mar 2019


    Data for 'Fast Matrix Operations in Computer Algebra'

    Tonks, Z. (Creator), Davenport, J. (Editor) & Sankaran, G. (Editor), University of Bath, 13 Dec 2017


    Student theses

    A context model, design tool and architecture for context-aware systems designs

    Author: Kaenampornpan, M., 1 Jan 2009

    Supervisor: O'Neill, E. (Supervisor)

    Student thesis: Doctoral ThesisPhD


    A design framework for pervasive computing systems

    Author: Kostakos, V., 2004

    Student thesis: Doctoral ThesisPhD


    A design strategy for human-system integration in aerospace: Where to start and how to design information integration for dynamic, time and safety critical systems

    Author: Solodilova-Whiteley, I., 1 Nov 2005

    Supervisor: Johnson, P. (Supervisor)

    Student thesis: Doctoral ThesisPhD