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 nine divisions, and within and between these are a number of research groups.

Our divisions

Data Science and AI

Computer Engineering

Formal Methods

Functional Programming

Information Security

Interaction Design

Logic and Types

Networks and systems

Software Engineering


Page manager Published: Tue 03 Nov 2020.