Forschungsthemen und Projekte
°´Ç³¾±è±ô±ð³æ¾±³Ùä³Ù²õ³Ù³ó±ð´Ç°ù¾±±ð
- Strukturelle °´Ç³¾±è±ô±ð³æ¾±³Ùä³Ù²õ³Ù³ó±ð´Ç°ù¾±±ð
- "Multiprover" Interaktive Beweissysteme
- Zero-Knowledge Verfahren
- Komplexität von Resolutions- und anderen Kalkülen
- Graphenisomorphie
- °´Ç³¾³¾³Ü²Ô¾±°ì²¹³Ù¾±´Ç²Ô²õ°ì´Ç³¾±è±ô±ð³æ¾±³Ùä³Ù
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