Computer Science
Research groups and centres
The department has five major research groups reflecting its particular strengths within Computer Science research. Beyond that, we have individual academics that are experts in particular fields of research.
Theoretical computer science focuses on the abstract, mathematical nature of computation. Areas of interest are: automata theory, computational biology, computational complexity, computability and randomness, design and analysis of algorithms, and unconventional models of computation. Related research subjects include biology, combinatorics, logic, and theoretical physics.
Members of this group also belong to the Centre for Discrete Mathematics and Theoretical Computer Science (CDMTCS) and contribute to the CDMTCS report series. They are:
- Prof Andre Nies (director)
- Prof Cristian Calude
- Prof Bakh Khoussainov
- Dr Michael Dinneen
- Dr Mark Wilson
- Assoc Prof Sebastian Link
- Dr Jing Sun
- Dr David Welch
- Prof Alexei Drummond
- Dr Remco Bouckaert
- Dr Joseph Heled
- Dr Alexander Gavryushkin
- Dr Tim Vaughan
Find out more about the Theory Group.
A research and development oriented group which collaborates across studies in communication, image technology, information technology, and internet technologies. number of international visitors each year. Research topics at CITR include multimedia imaging, computer vision, image and video analysis, information measurement and coding, network event detection, parallel, distributed and service-oriented architectures, mobile computing, language implementation and models. Our work spans both applied and fundamental aspects of these areas. We have two well-equipped laboratories for visualisation and photogrammetry.
Members of this group include:
- Dr Radu Nicolescu (director)
- Angela Chang
- Prof Reinhard Klette
- Dr S Manoharan
- Dr Bok-Suk Shin
- Dr Ulrich Speidel
- Dr Xinfeng Ye
Find out more about CITR.
Intelligent Systems and Informatics (ISI) research group focuses on various theoretical and practical aspects of artificial intelligence, modern health informatics, computational biology, 3D computer vision, and medical image analysis including (but not restricted to) case-based reasoning, data mining, pattern recognition, image understanding and retrieval, 3D scene reconstruction and description, machine learning, search, planning, and intelligent software agents.
Our agenda with respect to health informatics is closely tied to the National Institute for Health Innovation. We are interested in the use of intelligent computing techniques to improve the quality of healthcare delivery with particular attention to chronic disease management.
In computational biology we specialise in evolutionary bioinformatics and the application of machine learning techniques to biological data. Evolutionary bioinformatics includes the use of probabilistic models of biomolecular sequence evolution and computationally intensive statistical inference methods such as Markov chain Monte Carlo.
In computer vision and image analysis we explore advanced image and vision models (e.g. based on second- and higher-order Markov random fields and point processes) and focus on intelligent real-time vision systems, applied photogrammetry, vision-guided robotics, computer-aided medical diagnostics using medical imaging, and other applied image analysis problems (such as e.g. soil quality evaluation by 3D image analysis).
Members of this group are:
- Dr Mike Barley (director)
- Dr Pat Riddle
- Prof Georgy Gimel'farb
- Dr Patrice Delmas
- Assoc Prof Ian Watson
- Prof Jim Warren
- Prof Pat Langley
Find out more about Intelligent Systems and Informatics
Find out more about the National Institute of Health Innovation
SERG (the Software Engineering Research Group) is a forum for research and collaboration amongst staff in the Computer Science Department working in the software engineering and applications areas.
SERG comprises more than a dozen academic staff and undertakes research across a broad range of software engineering-related sub-disciplines, including, but not limited to: Software Tools and Techniques, Software Quality, Formal Methods, Human Computer Interaction, Computer Graphics, Scientific and Medical Visualization, Database Systems, and Computer Science Education.
Our members publish extensively in top international software engineering journals and conferences. SERG has a large number of thesis students undertaking research supervised by group members. The members are:
- Dr Ian Warren (Director)
- Assoc Prof Ewan Tempero
- Prof Robert Amor
- Paul Denny
- Prof Gill Dobbie
- Prof John Hosking
- Dr Andrew Luxton-Reilly
- Dr Christof Lutteroth
- Assoc Prof Beryl Plimmer
- Dr Robert Sheehan
- Dr Gerald Weber
- Dr Burkhard Wuensche
- Dr Yun Sing Koh
- Dr Rachel Blagojevic
Find out more about SERG.



