Department of Computer Science

Staff research interests

The department is proud of the contribution by its staff members to research advances in the field.

Staff: You can update your interests by modifying this spreadsheet.

Staff Member Research Interests
Robert Amor Professor Informatics for architecture, engineering and construction. Collaborative virtual environments, issues of interoperability across multiple services for large scale collaborations. Related interests are in the fields of data modelling, semantic verification of data mappings, and mapping verification.
Rizwan Asghar Senior Lecturer Access control mechanisms, encrypted databases, trustworthy systems, secure healthcare systems, smart grid security, preserving privacy online, privacy in distributed systems, consent management, privacy and security, and data provenance.
Michael Barley Senior Lecturer Artificial intelligence, especially heuristic search, planning and problem solving.
Nevil Brownlee Associate Professor Techniques for network measurement, traffic behaviour on network links, models of TCP and other protocols, and ways to improve the Internet’s Domain Name System.
Cristian Calude Professor Algorithmic information theory, quantum computing and complexity of big data.
Angela Chang Senior Tutor Java Multimedia, Database Management.
Chia‐yen Chen Lecturer Computer vision, 3D reconstruction and modelling, visual odometry, augmented reality and other related 3D applications
Patrice Delmas Associate Professor Image Processing applied to Human-Computer Interaction. Deformable models, camera calibration, image database statistical analysis, stereo-vision, 3D face and hand analysis and synthesis, Image Processing applied to soil sciences.
Paul Denny Senior Lecturer Computer Science Education, Educational technologies
Michael Dinneen Senior Lecturer Combinatorial algorithms, graph theory and network design. Interests in distributive programming, computational complexity, programming trends, computational biology and computer-assisted mathematics.
Gillian Dobbie Professor Foundations and design of database systems, database performance and evaluation, data warehousing and data mining, XML and semistructured data, web services and semantic web services, software engineering and tools.
Bob Doran Professor Emeritus Computer architecture, history of computing, parallel algorithms and programming.
Alexei Drummond Professor Statistical models and algorithms for understanding molecular evolution, genome analysis, coalescent-based population genetics, virus evolution, evolutionary theory and complexity theory, software development for bioinformatics.
Matthew Egbert Lecturer Artificial Life; Biology Inspired Artificial Intelligence; Cognitive Science; Robotics; Philosophy of Mind; Simulation, Modeling and Visualization; Origins of Life;
Peter Fenwick Honorary Associate Professor Computer architecture and text compression.
Georgy Gimel’farb Professor Computational stereo vision, statistical pattern recognition, biomedical image analysis, image-range data fusion, texture modelling, image retrieval.
James Goodman Honorary Professor Computer architecture, particularly high-performance computing, memory systems, parallel architectures, and synchronization, transactional memory; social, political, legal and ethical considerations in computing.
Peter Gutmann Honorary Research Fellow Security engineering, network security, PKI, cryptography.
Bakhadyr Khoussainov Professor Logic, computability, automata and games. 
Yun Sing Koh Senior Lecturer Data Mining specifically Pattern Mining, Data Stream Mining, Machine Learning, Information Retrieval.
Pat Langley Professor Cognitive systems, computational scientific discovery, conversational agents, human-robot interaction, integrated cognitive architectures, machine learning
Sebastian Link Professor Conceptual data modeling. Data management. Database theory. Information and Knowledge Systems. Semantics of data.
Simone Linz Senior Lecturer Graph theory, algorithmics, and computational biology; in particular questions related to the reconstruction and analysis of evolutionary trees and networks
Jiamou Liu Lecturer Computational social science, multiagent systems, social network analysis, algorithms and models of computation.
Dr Danielle Lottridge Human computer interaction, consumer and healthcare applications, emotion, multitasking, gesture and movement-based design
Andrew Luxton-Reilly Associate Professor Computer Science education, assessing student learning and tools that support collaborative learning.
Aniket Mahanti Senior Lecturer Distributed Systems, Performance Evaluation, Computer Networks, Internet measurements, Internet of Things, Cybersecurity and privacy, Smartgrids, Cloud computing, Wireless networks, World Wide Web, Edge computing, Mobile computing, Fog computing, Peer‐to‐peer, Software Defined Networking, Big Data Analytics, Business Information Systems, Business intelligences ystems, Business decision analysis.
S. Manoharan Senior Lecturer Mobile computing, Network and Internet programming, Parallel and distributed computing, computer architecture, performance modelling and simulation, and optimization problems.
Manoranjan Mohanty Lecturer Digital Forensics, Security and Privacy in Cloud Computing and Edge Computing, Secure Outsourcing, Privacy Preserving Genomics, Security and Privacy Issues in E-Health,  Multimedia Security, Applied Cryptography, and Privacy. 
Radu Nicolescu Senior Lecturer Discrete mathematical models; Information coding and complexity; Service oriented computing; Integrating objects, XML and databases.
Andre Nies Professor Computability theory, complexity theory, algorithmic randomness, algebra.
Beryl Plimmer Associate Professor Human computer interaction, in particular pen-based and tangible interaction, with a special interest in programmer’s tools such as IDEs.
Patricia Riddle Senior Lecturer Artificial intelligence, especially data mining, machine learning, knowledge representation, heuristic search, planning and problem solving.
Giovanni Russello Associate Professor Confidentially and privacy in cloud computing, data provenance and
e-crime, system compliance to privacy regulations, smart-grid security, policy-based frameworks for usage/dissemination control, autonomic middleware for distributed systems, with emphasis on performance, availability, and security.
Bruce Sham Lecturer Digital circuits, network and communication systems, parallel algorithms and electronic design automation
Robert Sheehan Senior Tutor Programming environments for children and rehabilitation computing.
Ulrich Speidel Senior Lecturer Digital communication and the Internet.
Satellite systems.
Information theory.
Network applications and security.
Associate Professor Jing Sun Software Engineering, Formal Methods, Computer Aided Verification,Formal Specification and Design, Refinement, Model Checking, Theorem Proving, Semantic Web, Ontological Reasoning.
Ewan Tempero Associate Professor Measuring software design quality, Tool support for software development, Software Metrics, Software Reuse, Software Visualisation and Object-Oriented Development.
Clark Thomborson Professor Trusted computing; software obfuscation, watermarking, tamper-proofing; identity management; security and performance engineering.
Wanqing Tu Senior Lecturer Algorithm/protocol design, theoretical analysis, and performance evaluation for next‐generation multimedia networking, wireless multihop networks, mobile computing, smart cities, QoS/QoE, cognitive radio networks, overlay networking, and parallel and distributed systems.
Jim Warren Professor Applications for mental health screening and promotion (e‐therapy); health systems data analytics.
Ian Watson Associate Professor Artificial Intelligence; Case-Based Reasoning; Machine Learning; Game AI; Knowledge-Based Systems; Knowledge Management; Business Intelligence
Gerald Weber Senior Lecturer Software engineering, enterprise applications, databases, modelling, generative programming, computer-supported collaborative work, human-computer interaction, theoretical computer science.
David Welch Senior Lecturer Stochastic models and inference for population genetics and infectious diseases. Bayesian computational methods, including Markov chain Monte Carlo (MCMC) and approximate Bayesian computation (ABC). Epidemics on networks. Inference for coalescent-based population genetics. Viral evolution and inference.
Joerg Wicker Lecturer
Machine learning and data mining, and its application to bioinformatcs, cheminformatics, computational sustainability, and privacy.
Mark Wilson Senior Lecturer (1) Analytic methods in combinatorics and applications: automating computation of asymptotics for coefficients of generating functions, Probabilistic analysis of algorithms.
(2) Combinatorial, probabilistic and computational questions in voting theory, social networks, and social science more generally.
Burkhard Wuensche Senior Lecturer Biomedical imaging and visualization, scientific visualization, computer graphics, geometric modelling, human computer interfaces, animations, virtual and augmented reality (VR/AR), game technology.
Xinfeng Ye Senior Lecturer Services computing, Internet of things
Clemens Zeidler  Privacy‐preserving cloud storage, encrypted databases, privacy and security, data provenance, authentication in untrusted environments, adaptive UI layouts