We are always happy to supervise seminar papers and dissertations (Bachelor's or Master's). We look for topics from the research spectrum of the department (automata theory and logic in computer science) together with the interested person. Please enquire without obligation.

During the seminar, you will independently read a current research paper, give a 60-minute talk on it and submit an elaboration. These tasks are an ideal prerequisite for writing a final paper.

The usual path to a final paper is that you have first listened to relevant lectures in the subject area (Automata Theory for Bachelor's students or Logic in Computer Science, Verification or Automatic Structures for Master's students) and participated in the pro or main seminar. The final thesis then builds on the knowledge acquired in this way.