Humboldt-Universität zu Berlin Institut für Informatik

Navigation

• Lehr- und Forschungsgebiete
  • Algorithmen und Komplexität
  • Computer Vision
  • Datenbanken u. Informationssysteme
  • Informatik in Bildung u. Gesellschaft
  • Kognitive Robotik
  • Komplexität und Kryptografie
    • Lehre
    • Forschung
      • Forschungsprojekte
        • Aussagenlogische Beweiskomplexität und disjunkte NP-Paare (2)
        • Aussagenlogische Beweiskomplexität und disjunkte NP-Paare
        • Die Komplexität des Graphisomorphieproblems
      • Oberseminar Theoretische Informatik
    • Mitarbeiter
    • Publikationen
  • Logik in der Informatik
  • Parallele und verteilte Systeme
  • Rechnerorganisation und Kommunikation
  • Signalverarbeitung u. Mustererkennung
  • Signal- und Informationsanalyse in den Neurowissenschaften
  • Softwaretechnik
  • Spezifikation, Verifikation u. Testtheorie
  • Systemanalyse
  • Systemarchitektur
  • Theorie der Programmierung
  • Visual Computing
  • Wissensmanagement in der Bioinformatik