Institut für Theoretische Informatik

Institut für Theoretische Informatik

News

LICS 2024 Distinguished Paper Award

For On the Separability Problem of VASS Reachability Languagespublications

LICS 2024

On the Separability Problem of VASS Reachability Languages has been accepted. publications

ICALP 2024

Separability in Büchi Vass and Singly Non-Linear Systems of Inequalities has been accepted. publications

SV-COMP 2024 Gold Medals

Dartagnan won two gold medals at SV-COMP2024. It won both as verifier and validator in the ConcurrencySafety category.

CONCUR 2023 Best Paper Award

For Separability and non-determinizability of WSTSpublications

OOPSLA 2023

Static Analysis of Memory Models for SMT Encodings has been accepted. publications

CONCUR 2023

Separability and non-determinizability of WSTS has been accepted. publications

Welcome

to the webpages of the Institute of Theoretical Computer Science. The vision of our team is the computer-aided construction of concurrent systems, on all levels in the design space. To this end, our ambition is to understand the principles underlying concurrent computation and exploit them in the development of efficient verification and synthesis algorithms. Harnessing methods from automata theory, games, semantics, and computer-aided verification the institute is specialized in inference techniques for qualitative as well as quantitative properties, and currently extends verification algorithms towards automatic system correction, optimization, and synthesis.

Roland Meyer

Further Information

To get an impression of our research topics and courses, consider 

If you would like to join us, if you are interested in a Bachelor's, Master's, or PhD thesis, or in case you are just curious about who we are - we warmly welcome you to visit us. We offer beautiful topics, interesting projects, competitive positions, and an international research environment.