Institut für Informatik V
Group of Prof. Blum
Our group is aiming to apply and develop methods in discrete mathematics
with respect to real applications.
Following these principles we have solved problems in several fields including but not limited to bioinformatics, formal languages and compiler design. We also have been working on the foundations of combinatorial optimisation.
We are always interested in new directions. At the moment we are doing research about bioinformatics, approximation algorithms for NP-hard problems, algorithms for matching problems and lower bounds for the circuit complexity of boolean functions.