Skip to main content

Theoretical Computer Science Group

Welcome to the website of the Theoretical Computer Science group at the University of Regensburg!

Latest news

Complementable Normal Form of Parametrised Automata

News 23.06.2025
- Informatics and Data Science
- Research
- Publication
A New Approach for Showing Termination of Parameterised Transition Systems

News 23.06.2025
- Informatics and Data Science
- Research
- Publication
Successful PhD Defense

News 05.06.2025
- Informatics and Data Science
- Awards
all news (external link, opens in a new window)

Theoretical Computer Science Group

Administration Office: Heidi Gärtner

E-mail address: sekretariat.ruemmer(at)informatik.uni-regensburg.de (opens your email program)
Tel: +49 941 943-68610 (starts a telephone call, if your device allows this)
Location: Bajuwarenstr. 4, BA 610
Important information: Office hours: by appointment

Further info of Theoretical Computer Science Group