Our research

The department conducts extensive, high-quality, broad-based research, ranging from basic research to direct applications in collaboration with industry. Research at the department is at the forefront internationally in several areas.

Different aspects of reliability, in the development of both software and hardware, are a common theme in several of the department’s research groups. One example is basic research into how programming languages should be designed to make it easier to write error-free programs. Another example is methodology for developing reliability in the complex computer systems that are built into, for example, aircrafts.