Seminar in Theoretical Computer Science (Master)

Course content

QUALIFICATION OBJECTIVES:

Students will be able to get familiar with a special topic in automata theory (original literature). In addition, they will be able to present a defined specialized topic in a comprehensible manner, both orally and in writing, as well as to discuss it in a technical manner.

CONTENTS: The subject of the seminar are models of advanced automata theory and their analysis algorithms. For example:

  • omega-regular languages
  • automatic structures
  • graph automata and treewidth
  • well-structured transition systems
  • games and synthesis
  • time-locked systems
  • high-order pushdown system

Course information

Code 4212054
Degree programme(s) Computer Science, Data Science
Lecturer(s) Prof. Dr. Roland Meyer
Type of course Seminar
Semester Winter semester
Language of instruction English
Level of study Master
ECTS credits 5