Algebraische und logische Grundlagen der Informatik/Abschlussarbeiten
Aus International Center for Computational Logic
Wir bieten Bachelor-, Master- und Diplomarbeiten sowie den großen Beleg (INF-D-950 und INF-25-Ma-GB) an. Die Themen der Arbeiten haben in der Regel einen engen Bezug zu aktuellen Forschungsprojekten des Lehrstuhls. Zur Vorbereitung auf die Bachelorarbeit dient das Bachelorseminar und zur Vorbereitung auf den großen Beleg das Belegseminar (siehe unten).
Bei Interesse an einer Abschlussarbeit wenden Sie sich bitte an Sascha Klüppelholz.
