Research
Research visit of Ahmed Bouajjani in June and July
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.
General
New Member: Roland Guttenberg
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, a notoriously abstract part of algebra, I am excited to contribute my theoretical knowledge to Read more…
General
Heinz Schwärtzel award for Dr. Salomon Sickert
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“.
General
Erfolg auch in Kaffeepausen
Today, as for the last several Tuesdays, the chairs i2 and i7 celebrated a joint coffee break. This time Chana took this picture of the cake present which we are proud to present!