Lehre
Lehrveranstaltungen am Arbeitsbereich Algorithmen, Randomisierung und Theorie (ART).
Sommersemester 2023
| Typ | Name der Veranstaltung |
| Oberseminar | Theoretische Informatik |
| Vorlesung | Einführung in die Theoretische Informatik - ETI |
| Übungen | Einführung in die Theoretische Informatik - ETI |
| Vorlesung | Berechenbarkeit, Komplexität und Approximation - BKA |
| Übungen | Berechenbarkeit, Komplexität und Approximation - BKA |
| Vorlesung | Methoden des Algorithmenentwurfs |
| Vorlesung | Modellierung verteilter Systeme |
| Übungen | Modellierung verteilter Systeme |
| Seminar | Methoden des Algorithmenentwurfs |
| Seminar | Abschlussarbeiten |
| Projekt | Agile Entwicklung adaptiver Systeme |
| Praktikum | Kollaborative Softwareentwicklung |
Wintersemester 2022/23
| Typ | Name der Veranstaltung |
| Oberseminar | Theoretische Informatik |
| Vorlesung | Randomisierte Algorithmen |
| Seminar | Randomisierte Algorithmen |
| Vorlesung | Aktuelle Themen der Theoretischen Informatik |
| Übungen | Aktuelle Themen der Theoretischen Informatik |
| Seminar | |
| Projekt | Verteilte Software-Entwicklung |
| Vorlesung | Modellierung und Analyse komplexer Systeme |
| Übungen | Modellierung und Analyse komplexer Systeme |
| Seminar | Abschlussarbeitenseminar |
| Masterprojekt | Kollaborative verteilte Software-Entwicklung |
| Integriertes Seminar | Herausforderung in der verteilten Software-Entwicklung |
Sommersemester 2021
| Typ | Name der Veranstaltung |
| Oberseminar | Theoretische Informatik |
| Praktikum | Analyse von Softwarepraktiken |
| Praktikum | Funktionale Programmierung |
| Proseminar | Perlen der Informatik |
| Seminar | Abschlussarbeiten |
| Seminar | Distributed Computing |
| Vorlesung | Einführung in die Theoretische Informatik |
| Vorlesung | Berechenbarkeit, Komplixität und Approximation |
| Vorlesung | Formale Grundlagen der Informatik |
| Vorlesung | Modellierung Verteilter Systeme |
Wintersemester 2020/21
| Typ | Name der Veranstaltung |
| Seminar | Distributed Computing |
| Vorlesung | Kryptographie |
| Oberseminar | Theoretische Informatik |
| Vorlesung | Randomisierte Algorithmen |
| Seminar | Herausforderung und Lösungsansätze in der verteilten Software-Entwicklung |
| Projekt | Von der Modellierung zur Realisierung verteilter und nebenläufiger Software-Systeme |
| Vorlesung | Modellierung und Analyse komplexer Systeme |
| Übungen | Modellierung und Analyse komplexer Systeme |
| Seminar | Abschlussarbeitenseminar |
| Masterprojekt | Kooperative Realisierung verteilter und nebenläufiger Software-Systeme |
| Integratives Seminar | Kooperation in der verteilten Software-Entwicklung |
Sommersemester 2020
| Typ | Name der Veranstaltung |
| Vorlesung | Formale Grundlagen der Informatik 1 |
| Vorlesung | Einführung in die Theoretische informatik |
| Vorlesung | Berechenbarkeit, Komplexität und Approximation |
| Vorlesung | Parallele und verteilte Algorithmen |
| Vorlesung | Modellierung verteilter Systeme |
| Proseminar | Perlen der Informatik |
| Praktikum | Funktionale Programmierung |
| Praktikum | Analyse von Softwareentwicklungsprojekten |
| Seminar | Abschlussarbeitenseminar |
| Oberseminar | Theoretische Informatik |
Wintersemester 2019/20
| Typ | Name der Veranstaltung |
| Vorlesung | Formale Grundlagen der Informatik II |
| Vorlesung | Randomisierte Algorithmen |
| Seminar | Abschlussarbeiten |
| Oberseminar | Theoretische Informatik |
| Projekt | Von der Modellierung zur Realisierung in der Verteilten Software-Entwicklung |
| Masterprojekt | Kooperative Realisierung verteilter und nebenläufiger Software-Systeme |
Sommersemester 2019
| Typ | Name der Veranstaltung |
| Vorlesung | Formale Grundlagen der Informatik I |
| Proseminar | Perlen der Theoretischen Informatik |
| Oberseminar | Theoretische Informatik |
| Vorlesung | Methoden des Algorithmenentwurfs |
| Vorlesung | Randomisierte Algorithmen |
Wintersemester 2018/19
| Typ | Name der Veranstaltung |
| Vorlesung | Analyse randomisierter Algorithmen |
| Vorlesung | Formale Grundlagen der Informatik II |
| Oberseminar | Oberseminar Theoretische Informatik |
Sommersemester 2018
| Typ | Name der Veranstaltung |
| Vorlesung | Formale Grundlagen der Informatik I |
| Vorlesung | Methoden des Algorithmenentwurfes (AB TEA) |
| Vorlesung | Modellierung verteilter Systeme |
| Oberseminar | Oberseminar Theoretische Informatik |
Wintersemester 2017/18
| Typ | Name der Veranstaltung |
| Vorlesung | Formale Grundlagen der Informatik III |
| Vorlesung | Analyse randomisierter Algorithmen |
| Vorlesung | Formale Grundlagen der Informatik IIIa - Logik und weiterführende Algorithmen |
| Vorlesung | Formale Grundlagen der Informatik IIIb - Semantik von Programmen |
| Seminar | Formale Grundlagen der Informatik III |
| Vorlesung | Formale Grundlagen der Informatik II |
| Oberseminar | Oberseminar Theoretische Informatik |
Sommersemester 2017
| Typ | Name der Veranstaltung |
| Vorlesung | Formale Grundlagen der Informatik I |
| Vorlesung | Höhere Modellierungskonzepte und -algorithmen |
| Vorlesung | Methoden des Algorithmenentwurfes |
| Vorlesung | Modelle von Petrinetzen |
| Seminar | Modellierung verteilter Systeme |
| Praktikum | Agentenorientierte Software-Entwicklung komplexer Systeme im Team |
| Oberseminar | Oberseminar Theoretische Informatik |
Wintersemester 2016/17
| Typ | Name der Veranstaltung |
| Vorlesung / Übungen | Vorlesung Formale Grundlagen der Informatik II |
| Vorlesung | Vorlesung Algorithmen und Datenstrukturen |
| Vorlesung | Formale Grundlagen der Informatik IIIa - Logik und weiterführende Algorithmen |
| Vorlesung | Formale Grundlagen der Informatik IIIb - Semantik von Programmen |
| Seminar | Formale Grundlagen der Informatik III |
| Seminar | Seminar Grundlagen verteilter Software-Entwicklung |
| Seminar | Abschlussarbeitenseminar |
| Projekt | Agentenorientierte Software-Entwicklung(AOSE) |
| ABK | Teambildungsprozesse in Projektkontexten - verstehen und gestalten |
| Oberseminar | Oberseminar Theoretische Informatik |