Druckansicht der Internetadresse:

Faculty of Mathematics, Physics & Computer Science

Theoretical Computer Science (AI VII) – Prof. Dr. Wim Martens

Print page

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.

Webmaster: Johannes Doleschal

Facebook Twitter Youtube-Kanal Instagram Blog Contact