Forschungsthemen und Projekte
Komplexitätstheorie
- Strukturelle Komplexitätstheorie
- "Multiprover" Interaktive Beweissysteme
- Zero-Knowledge Verfahren
- Komplexität von Resolutions- und anderen Kalkülen
- Graphenisomorphie
- Kommunikationskomplexität
Algorithmen
- Zufallszahlengeneratoren und probabilistische Algorithmen
- Parallele Algorithmen für kombinatorische Probleme
- Industrieprojekt Dichte Packung von Garnrollen auf Paletten
- SAT-Algorithmen
- Quanten-Algorithmen
Bioinformatics
- algorithms and data structures for sequence analysis and whole genome comparisons
- enhanced suffix array: algorithms and applications
- wavelet tree of the Burrows-Wheeler transform: algorithms and applications
- detection of repeats in complete genomes
- multiple genome alignment using chaining algorithms
- genome rearrangements