This month two PhD students join the PaVeS team. Martin Helfrich was already party of PaVeS as a student assistant. Now he started his PhD. Furthermore, we welcome A. R. Balasubramanian as our newest team member!
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.