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 (Student Research Project). 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.
