Algorithms
We investigate optimisation problems from operations research, such as airline scheduling and transport optimisation. Other lines of research are algorithms for machine learning and inference, combinatorial search strategies, graph theory, probabilistic and online algorithms. We also apply our methods in various collaborations with researchers in molecular biology, i.e. genomics and proteomics. Web page, Algorithms

Bioinformatics
The aim of the Bioinformatics Research Group is to develop novel computational techniques and to apply these in addressing important problems in biotechnology and the biological sciences. Web page, Bioinformatics

Computer Architecture
Computer architecture is the engineering discipline of computer design. Powerful programming interfaces should be implemented that yield a high computational efficiency under low power consumption within the constraints of the technology. Web page, Computer Architecture

Computer Communications and Computer Network Group
The group is dedicated to the technology behind computer communication and networking to improve the quality of the accept decisions for new traffic, on faster reconstruction and restoration of services when link failures occurs, and on more efficient load regulation for video transmissions. Web page, Computer Communications and Computer Network Group

Computer Graphics
In a computer-generated image shadows are often missing and one must put extra effort into getting correct shadows rendered. Our project has developed a new ground-breaking algorithm that renders soft shadows. As the first group in the world we can render soft shadows that are almost geometrically correct at over 70 images per second. Web page, Computer Graphics

Computer Security
The computer security research at the Department of Computer Science and Engineering is founded on a firm conviction that security must be applied to all parts and at all levels of the system, as opposed to traditional security methodologies focusing on boundary protection. Security considerations should also follow the system throughout its lifetime, starting from the specification phase, throughout construction, operation and maintenance. We call this approach in-depth security and our research spans all those phases.  Web page, Computer Security

Dependable Real-Time Systems
Our research deals with design, verification and assessment of distributed and embedded real-time computing systems. We specifically address issues related to robustness, scheduling analysis, and architectures for fault-tolerant and safety-critical systems. Web page, Dependable Real-Time Systems

Distributed Computing and Systems
The group’s research focuses on distributed and parallel computing and systems: 1. Efficient and fault tolerant inter-process communication/ coordination, with applications in distributed and parallel application software, real-time and multiprocessor operating systems; 2. Resource sharing in mobile communication systems; 3. Information propagation and consistency in Peer-to-Peer systems; and visualization of distributed algorithm executions and complex systems. Web page, Distributed Computing and Systems

Embedded and Networked Processors
Embedded and Networked Processors focuses on research problems related to the design of digital signal processors and wireless networks in embedded systems. Specific attention is currently given to : 1. Design and implementation of arithmetic components for digital signal processing units using standard and non-standard number systems like RNS (Residue Number System) and SD (Signed Digit). 2. RFID (Radio Frequency IDentification) with focus on energy-efficient wireless network data communication protocols. Web page, Embedded and Networked Processors

Formal Methods in Software Engineering
One of the most challenging tasks in hardware and software design is to assure reliability. This challenge also become more important when computer systems are finding there way into sensitive and often life-critical environments such as air traffic control, medical systems, car control systems and space applications. Not only are there billions of dollars at stake, but in the extreme even human lives. The Formal Methods group here at Chalmers works in several different fields, including SAT-solving, software specification and verification, hardware design and verification and formal testing. The list of projects gives a good overview of our research. Web page, Formal Methods in Software Engineering

Language Technology
One of the most challenging problems in language technology is automatic translation between natural languages. An alternative to automatic translation is multilingual authoring: interactive editing of documents simultaneously in many languages. Our main formalism and tool is the Grammatical Framework (GF), which is based on type theory. Web page, Language Technology

Programming Logic
Construction of large software systems must be as based on a firm mathematical basis as are other engineering disciplines. The mathematical foundation is not the same as for traditional engineering subjects which has calculus as their basis. We want to develop computerized tools that can be used as support for developing correct software. Web page, Programming Logic

VLSI Research Group
The VLSI Research Group is active in research on circuit and physical VLSI design as well as RTL power and timing estimation techniques. The primary research goals of VLSI Research Group are to study the prospects of low-power high-performance techniques for future CMOS circuits, as well as to study and develop RTL estimation techniques, both algorithms and models, for parameters such as power consumption and timing. Web page, VLSI