The Dependable Systems Group's research aims are to improve the reliability and predictability of computer systems through the development and application of rigorous design, implementation and verification techniques.
Research studies in this area are wide-ranging and encompass food composition, stability of dairy products during storage, computer modelling of protein interactions, yeast metabolism, and cereal science. Research also focuses on diet and gene interactions and the impact of diet on epigenetic mechanisms.
The Intelligent Systems Lab was established to pursue the synthesis of artificial intelligence (AI) techniques with control engineering methods to produce intelligent systems. The lab participates in a wide range of industrial collaborative research projects.
The International Centre for Brewing and Distilling (ICBD) is engaged in brewing and distilling research including all aspects of beverage fermentation, the ageing process and stress responses of yeast, and cereal science.
Research in logic, types, and rewriting is improving the safety, reliability, security, and capability of many kinds of software systems including the design and implementation of programming languages. Research in these areas is also vital in the formalization of mathematics and automated theorem proving. There is also an increasing use of logic, types, and rewriting for describing, understanding, and managing business systems and biological systems.
Research is conducted in the areas of computer vision, such as 3D texture; novel modes of interaction between people and computer systems; and all kinds of interactive graphical environments including virtual environments, augmented reality and computer games.