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

Bioinformatik

• siehe Seite der Bioinformatik-Gruppe

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