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

This research is aimed at 'molecular fingerprinting' of the bacteria involved in food poisoning so that they can be identified and traced in food manufacturing plants. We are also interested in the food poisoning toxins, their role in infection and the molecular and physiological controls that govern bacterial growth.

see also: bacteria, bacteriology, food, research

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

Research studies include the molecular impact of exercise and disease on muscle and adipose tissue function in metabolic disease, cancer-cachexia and healthy subjects.

see also: exercise, molecular, physiology, research

Research in this area focuses on determinants of exercise participation and capacity especially within specialised populations, such as paediatrics and respiratory disease sufferers.

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