Lehrstuhl fürFormale Sprachen und Theoretische Informatik
Projekte
Projekte
  • AG

    Wir treffen uns einmal die Woche und lesen aktuelle Paper aus der theoretischen Informatik, die uns interessieren. Die Themen sind bunt gemischt von reiner Mathematik bis hin zu angewandter Informatik.  Wenn wir gerade keine aktuellen Paper haben diskutieren wir was wir als nächstes Lesen, trinken Tee und spielen Go.

    Alle Gäste sind herzlich eingeladen, wenn sie an der theoretischen Informatik gefallen finden möchten.

  • Interaktives Kryptologie Skript
    Das Interaktive Skript von Klaus Reinhardt zur Vorlesung Kryptologie und Komplexität.
  • projfinder.jpg ProjFinder

    ProjFinder ist ein Programm um endliche Geometrien zu erzeugen und zu analysieren. Es wurde speziel für partielle projektive Ebenen entwickelt.