Algebraische und logische Grundlagen der Informatik/Abschlussarbeiten/en
From International Center for Computational Logic
We offer bachelor's, master's and Diplom theses as well as the Großer Beleg (INF-D-950 and INF-25-Ma-GB). The topics are usually closely related to our current research projects. The Bachelorseminar is intended to be taken in conjunction with a bachelor's thesis and the Belegseminar is intended to be taken in conjunction with a Großer Beleg (see below).
If you are interested in writing your thesis at our chair, please contact Sascha Klüppelholz.
