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.
Active Research Centres
We coordinate UPMARC, a center of excellence supported by the Swedish Science Council aiming to develop insights and techniques that make parallel programming easier.
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.
Our broad ranging international collaborations include participation in EU Networks of Excellence:
We coordinated WISENET, Uppsala VINN Excellence Center for Wireless Sensor Networks between 2007-2014.
Between 1997-2008, we acted as coordinators of the SSF network programme ARTES, A network for Real-Time research and graduate Education in Sweden as well as the VINNOVA Competence center ASTEC, Advanced Software Technology. We have also been a driving force in PSCI, Parallel and Scientific Computing.
The Division of Computer Systems is part of the Department of Information Technology. The division is located in building 1 at the Information Technology Center (ITC).