Wir betreuen jederzeit gerne Pro- und Hauptseminar- sowie Abschlußarbeiten (Bachelor bzw. Master). Die Themen aus dem Forschungsspektrum des Fachgebiets (Automatentheorie und Logik in der Informatik) suchen wir dabei gemeinsam mit dem Interessierten. Bitte fragen Sie also unverbindlich nach.

Im Rahmen des Seminars werden Sie eine aktuelle Forschungsarbeit selbständig lesen, einen 60-minütigen Vortrag dazu halten und eine Ausarbeitung einreichen. Diese Aufgaben sind eine ideale Voraussetzung für die Anfertigung einer Abschlußarbeit.

Der übliche Weg zu einer Abschlußarbeit ist, daß Sie zunächst einschlägige Vorlesungen des Fachgebiets (Automatentheorie für Bachelorstudenten bzw. Logik in der Informatik, Verifikation oder Automatische Strukturen für Masterstudenten) gehört und am Pro- bzw. Hauptseminar teilgenommen haben. Auf dem dabei erworbenen Wissen baut dann die Abschlußarbeit auf.