Institute for Formal Methods of Computer Science (FMI)


A short survey of our research

Research Overview ALG-Group:

Our research focuses on the development of algorithms with provable guarantees, both in terms of running times as well as quality of the outcome. While trying to build on a solid theoretical foundation, we do not mind if our algorithms have applications in the real world. So most our results originate from a problem in an application context.

So far, some of our results have been published at the flagship conferences in the fields of databases (VLDB 2014), artificial intelligence (AAAI 2019, 2018, 2017, 2014, 2013, 2012, 2011), networking (INFOCOM 2007), algorithms & discrete math (SODA 2007, 2005, 2004, 2003, 2002, 2001), and computational geometry (SCG 2006, 2005, 2004, 2003, 2000, 1998).

The following is a somewhat arbitrary subset of our results, please see DBLP or Google Scholar for a more comprehensive list of our publications.


Read more



Petra van Schayck


Prof. Dr. rer.-nat. habil.

Volker Diekert

Head of institute
Head of the Theoretical Computer Science Group

To the top of the page