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