Complexity theory is a fundamental branch of theoretical computer science that categorises computational problems according to their inherent difficulty and the resources required to solve them. At ...

The mathematics of symmetry, also known as group theory, is widely used as a tool in the solution of complex problems in many areas of theoretical physics, including string theory. A sequence of ...

The research area "Formal Methods and Algorithmics" (ForMAl) consists of the three working groups "Software Development and Verification", "Safety-Critical Systems" and "Efficient Algorithms and ...