Research topics

The theoretical computer science discusses the mathematical foundations and formal methods of computer science. Like the name of the professorship suggests, the formal languages are playing a major role.

Central terms of the theoretical computer science:

We deal with the following topics:

You can find more about the individual areas under Research.