Research covers topics in the fields of atomic and molecular science as well as semiconductor and condensed matter physics.

see also: atomic, molecular, physics, research, semiconductor

Research is focused on the storage, retrieval, presentation and use of data, information and knowledge.

see also: computer, database, research

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.

see also: computer, dependable, research, systems

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.

see also: food, nutrition, research

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.

see also: artificial, computer, intelligent, isl, research, systems

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.

see also: beverage, brewing, distilling, icbd, research

The Health & Exercise Research Group encompasses two themes of Molecular Exercise Biology and Integrated Health Research.

see also: activity, exercise, health, physical, research

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.

see also: computer, logic, research

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.

see also: computer, graphics, research