Algorithms research concerns the development of new methods to solve complex computational problems. The focus is on methods that allow a proof of correctness in all cases, and a proof of good scaling behaviour of the resources they need (for example, time), when operating on increasingly larger data sets. This implies that these methods can be used in applications where reliability of the computed results is crucial. Algorithms research includes computational problems on graphs, geometry, combinatorial structures, topological structures, and strings.

Website: t.b.a.
Contact: Bart Jansen and/or Rebecca Reiffenhäuser