Computer Science

Staff research interests

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

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.
Michael Barley Senior Lecturer	Intelligent software agents. Extending the range of an agent’s reasoning/planning capabilities, through the use of machine learning and knowledge compilation/reformulation techniques. Informed search algorithms and their performance.
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, theoretical physics.
Brian Carpenter Professor	Internet scaling, especially IPv6
Angela Chang Senior Tutor	Java Multimedia, Database Management.
Patrice Delmas Senior Lecturer	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, Mobile computing.
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 Associate 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.
Peter Fenwick Honorary Associate Professor	Computer architecture and text compression.
Georgy Gimel’farb Professor	Computational stereo vision, statistical pattern recognition, texture analysis / synthesis, image retrieval.
James Goodman 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 and computability.
Reinhard Klette Professor	Vision-based driver assistance, biomedical imaging, geometric algorithms, stereo visualization, panoramic sensors.
Sebastian Link Associate Professor	Conceptual data modeling. Data management. Database theory. Information and Knowledge Systems. Semantics of data.
Christof Lutteroth Lecturer	Human-Computer Interaction. Software Development Tools. Databases.
Andrew Luxton-Reilly Senior Tutor	Computer Science education, assessing student learning and tools that support collaborative learning.
S. Manoharan Senior Lecturer	Mobile computing, Network and Internet programming, Parallel and distributed computing, computer architecture, performance modelling and simulation, and optimization problems.
John Morris Associate Professor	Parallel and reconfigurable computing systems, real-time image processing (particularly stereo vision), software verification and algorithm animation.
Radu Nicolescu Senior Lecturer	Discrete mathematical models; Information coding and complexity; Service oriented computing; Integrating objects, XML and databases.
Andre Nies Associate Professor	Computability theory, complexity theory, algorithmic randomness, algebra.
Beryl Plimmer Senior Lecturer	Human computer interaction, in particular pen based interaction and informal representations, haptic interaction, and usability. Visual programming and component and event based software architectures.
Patricia Riddle Senior Lecturer	Bioinformatics and artificial intelligence, especially datamining, machine learning, knowledge representation, and problem solving.
Robert Sheehan Senior Tutor	Programming environments for children and rehabilitation computing.
Ulrich Speidel Senior Lecturer	Coding, complexity, Internet, digital communication, wireless communication, web development, international technology transfer, web-based conference management, IT and web systems in tourism, Internet security.
Jing Sun Senior Lecturer	Software Engineering, Formal Methods, Formal specification languages, Specification validation, refinement, Formal verification, Model checking, Theorem proving, Unified Modelling Language (UML), Semantic Web.
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.
Ian Warren Senior Lecturer	Dynamic reconfiguration of software systems, object-oriented technology, component-based software engineering, distributed computing, autonomic computing. Particularly interested in practical and useful approaches that aim to improve software engineering.
Jim Warren Professor	Health data mining and data quality; clinical decision support systems; usability, interoperability and mobile health information systems; health knowledge management.
Gerald Weber Senior Lecturer	Software engineering, enterprise applications, databases, modelling, generative programming, computer-supported collaborative work, human-computer interaction, theoretical computer science.
David Welch 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.
Mark Wilson Senior Lecturer	Discrete mathematics and theoretical computer science, specifically analytic methods in combinatorics and applications. Automating computation of asymptotics for coefficients of generating functions. Probabilistic analysis of algorithms. Combinatorial and probabilistic questions in voting theory and social science more generally. Broadcasting in graphs (applications to communication networks).
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	Internet based computing and distributed systems.

RELATED PROGRAMMES

Apply now!

2012 Handbook

Postgraduate study options

Computer Science blog

Connect with us

Share Print Email