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…