Chair of Theoretical Computer Science
The Chair of Theoretical Computer Science (INF8)
belongs to the Department of Computer Science at the Faculty of Engineering of the FAU Erlangen-Nürnberg.
Our core research topics are:
Logic in Computer Science
Head of the group is Prof. Dr. Lutz Schröder.
Support for git8.cs.fau.de: email@example.com