50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Winter semester 2017



Course Nr Type Lecturers Quick Links
Aktuelle Themen IT-Sicherheit und Zuverlässigkeit CS5195 Reischuk, Liskiewicz, Eisenbarth Moodle
Algorithmendesign CS3000 Lecture Reischuk Moodle
Algorithmik CS4000 Lecture Liskiewicz Moodle
Einführung in die Informatik 1 CS1012 Lecture Tantau Moodle
Einführung in die IT-Sicherheit und Zuverlässigkeit CS1700 Lecture Reischuk, Fischer, Eisenbarth, Leucker Moodle
Kryptologie CS3420 Lecture Reischuk Moodle
Einführung in die Logik CS1002 Lecture Tantau Moodle
Modellierung und Analyse von Sicherheitseigenschaften CS4211 Lecture Reischuk, Liskiewicz Moodle
Theoretische Informatik CS2000 Lecture Liskiewicz Moodle
Algorithmik, Logik und Komplexität CS4501 Seminar Tantau, Reischuk Moodle
Datensicherheit CS3400 Seminar Liskiewicz Moodle
Praktikum IT-Sicherheit CS3410 Praktikum Eisenbarth
Programming Challenges CS3701 Projekt Liskiewicz Moodle
Werkzeuge für das wissenschaftliche Arbeiten CS2450 Reischuk Moodle
Oberseminar Theoretische Informatik CSXXXSeminar Reischuk, Tantau Moodle