The PaVeS group is very proud to announce that Dr. Salomon Sickert will receive the Heinz Schwärtzel Award for his PhD thesis “A Unified Translation of Linear Temporal Logic to ω-Automata“.
The PaVeS people are excited to host Ahmed Bouajjani on a research visit to the Chair of theoretical computer science of the Technical University of Munich.
A long time passed since the last news. This is, however, not due to a lack of activity but a lack of reporting. Thus, we use this post to report various publications from last year Read more…
The PaVeS people welcome a new member, Roland Guttenberg, in their midst. Roland joined us as a PhD student. He describes his research interest in his own words as follows: “Originally interested in Algebraic Geometry, Read more…