Welcome to the page of the Theoretical Computer Science research group
Quote of the day
It is by logic that we prove, but by intuition that we discover.
- Henri Poincaré
Our group investigates fundamental problems in an array of research fields such as data management, internet standards, formal language theory, logic, and computational complexity. We aim at solving problems that are mathematically elegant, fundamental to computer science, and practically relevant. Check out our research page for more information.
We teach the Theoretical Computer Science courses at the University of Bayreuth and extend this offer with courses on Logic and Foundations of Data Science. We regularly offer seminars and sometimes even a project. Go to our teaching page if you want to know more.
How to reach us.