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 within several related areas: computer architecture, communication, real-time systems, formal methods for analysis of computer programs, and machine learning. We also conduct research on developing pedagogical methods in computer systems.

The Computer Systems Research Groups

The Algorithmic Verification 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.

For Specification and Analysis of Real-Time Systems our work on verification of timing properties, analysis of scheduling policies, component specification, and tool development, has resulted 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 System Architectures 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.

The Uppsala Computing Education Research Group (UpCERG) conducts research in learning and teaching that informs tertiary educational practice in Computing and Engineering Education Research.

The Uppsala Networked Objects Group (UNO) networks all kind of objects from the tiniest sensors and actuators to more full-blown objects such as quadrocopters in a reliable, secure and efficient way. We perform systems research, i.e., we work with real prototype systems.

Updated  2021-03-15 22:53:08 by Philipp Rümmer.