Skip to main content
Department of Information Technology

Computer Systems

Research at Computer Systems concerns development of computer networks, parallel computer architectures, and embedded systems, spanning specification, verification, and experimental systems development.

Computers and computer systems have become a natural part of our lives: on our desks, built into our cars, etc. Computer Systems is all about developing new and better computer systems, and there are several challenges both in building the systems and in programming them. The systems must be efficient and electricity-saving, and we need to be able to test and verify that they work as intended. Communication in real-time and in networks is also becoming more and more important, and in that field we need new technology for better security and function.

At the Division of Computer Systems we conduct research and education within several related areas, including computer architecture, communication, real-time systems, formal methods for analysis of computer programs, and machine learning.

The Computer Systems Research Groups

The Algorithmic Verification Research Group works on specification and verification of concurrent and distributed systems. We primarily use model checking techniques, which are extended to cope with infinite state-spaces by incorporating techniques from SAT-solving, constraint-solving and abstract interpretation.

The Real-Time Systems Group works on verification of timing properties, analysis of scheduling policies, component specification, and tool development, resulting in the UPPAAL and TIMES toolsets. The overall goal is to develop technology and tools for model-based design of real-time embedded systems.

The Computer Architecture Research Group develops techniques for improving high-performance multi-threaded computer system architectures, such as multicore, SMP and NUMA.

Our Communications Research Group deals with wireless mobile networking. We develop and evaluate protocols that support mobility and new applications more efficiently than current Internet protocols. A significant part of our research studies spontaneous, ad-hoc, autonomic networks. Such networks must be self-managed, reliable and secure.

The Model Generation and Testing Group develops techniques for generating test suites from models of concurrent systems, and techniques for generating component models by observing test executions.

Updated  2023-12-22 11:21:00 by Pontus Ekberg.