Institute for Formal Methods of Computer Science (FMI)

Algorithmik Group

Our group is concerned with the design and the theoretical analysis of algorithms of all kinds.

Research and Teaching Overview:

Our main interest lies in the development and analysis of algorithms for various problem scenarios. Here our focus is on algorithms with provable guarantees, both in terms of running times as well as quality of the outcome.

This interest is reflected in both our teaching activities, where we regularly offer modules like Discrete Optimization, Computational Geometry, Algorithm Engineering, Lab Courses, and Seminars, as well as our research.

Please refer to the respective pages linked below for further information.

To the top of the page