Research at the Department of Computer Science and Engineering

The Department of Computer Science and Engineering 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.
We are organized into eight divisions, and within and between these are a number of research groups.

Our divisions

Computing Science

Computer Engineering

Formal Methods

Functional Programming

Information Security

Interaction Design

Networks and systems

Software Engineering


Published: Thu 07 Feb 2013. Modified: Thu 04 May 2017