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, science

Integrated Systems (Precision Optical, Electronic and Miniature Systems) is a Joint Research Institute (JRI) of the universities of Edinburgh and Heriot-Watt as part of the Edinburgh Research Partnership. Integrated Systems brings together international research expertise in the areas of astronomy and space technology, bio-photonic and bio-electronic systems, high-value manufacturing technologies, miniature-system integration and advanced photonic devices and systems.

see also: institute, integrated, 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, science