New PhD Students

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!

Arrival of Marijana Lazić

The PaVeS people are very pleased to announce the arrival of a new member, Marijana Lazić! Marijana describes her research interests in her own words as follows: “I am interested in parameterized model checking and synthesis of fault-tolerant distributed algorithms (FTDAs). During my PhD studies I was focusing on a Read more…

Arrival of Michael Raskin

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.