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

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