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“.
Team
New PaVeS team member: Philipp Czerner
We are very happy to welcome our newest PhD student Philipp Czerner to the PaVeS team.