Professor (rtd.) for Automata TheoryOrganisational unit: Research/Working group Organisation profileProfessor (rtd.): Prof. Dr.-Ing. Franz Baader Formerly holder of the Chair of Automata Theory Contact Parent unitsInstitute of Theoretical Computer Science