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

Hier einige Poster über Projekte der letzten Jahre

• Schnelle Algorithmen
• Branching Programme
• Konstruktion von Expander-Graphen und Superkonzentratoren
• Komplexität von Beweisystemen
• Derandomisieren von probabilistischen Algorithmen
• Strukturelle Komplexität des Graphenisomorphie Problems
• DNA Computer