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
- Formal Methods
- Knowledge Representation
Head of the group is Prof. Dr. Lutz Schröder.
Support for git8.cs.fau.de: git8-admins@lists.informatik.uni-erlangen.de