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.Meet the researchers
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.
Contact information
The Division of Computer Systems is part of the Department of Information Technology. The division is located on the 5th floor building 10 in the Ångström campus.
- Head of Division
- Mohamed Faouzi Atig
- Director of Studies
- Pontus Ekberg
The DoCS Seminars
Other Seminars
Calendar