The PaVeS-Group is very happy to welcome Mikhail Raskin in its midst! He has diverse previous experience (both theoretical and applied), and often uses combinatorial and probabilistic constructions to prove theoretical CS statements.
Philip Offtermatt successfully defended his Master’s thesis “Approaching Safety for Parameterized Systems via View Abstraction”. Furthermore, we want to announce the first PaVeS Christmas workshop. It is planned for the 16th December.