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.

[}