Die Professur für Automatentheorie bietet Lehrveranstaltungen für die Studiengänge Informatik, Medieninformatik, Wirtschaftsinformatik, Computational Modeling and Simulation, Computational Logic, Elektrotechnik, Informationssystemtechnik, Biologie, sowie für die Nebenfachausbildung in Informatik.