Chair of Theoretical Computer Science

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

Forgot your password?

Explore Help About GitLab Community forum